The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.
Software Engineering 1
and over one million other books are available for Amazon Kindle.
Learn more
| ||||||||||||||||||
Book Description
Frequently Bought Together
Editorial Reviews
Review
From the reviews: "The presentation is focused on the fundamental ideas of domain engineering, requirements engineering and computer system engineering. … The rigorous treatment and the author’s original style of viewing the software engineering approaches are important, outstanding features … . is of special interest for both software engineering theorists and practitioners … . The style is very concise, but at the same time very friendly. … Undoubtedly, readers coming from a large variety of fields of interest will appreciate the novelty and usefulness … ." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
About the Author
MSc.EE, 1962, PhD.CS 1969;IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria);Prof. Techn.Univ. of Denmark 1976--...;Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (19791989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997);Co-founder of (VDM now) Formal Methods Europe, 1987-...;Member of Academia Europaea;Member of the Russian Academy of Natural Sciences (AB);The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic;The John von Neumann Medal, Hungarian Computer (JvN) Society;Knight of the Danish Flag
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
elicitation report, domain description units, linear rail units, code address register, container loading plan, railway freight terminals, required computing system, timetable queries, listed please describe, air cargo centres, requirements facets, refutable assertion, quay position, right operand set, prescription units, stakeholder liaison, two distinct stations, data initialisation, fixed topic, bank script, domain stakeholders, analytic documents, timetable process, area control centres, timetable system Key Phrases - Capitalized Phrases (CAPs): (learn more)
Formal Presentation, Methodological Consequences, Program Specification, The Exercises Exercise, Michael Jackson, Requirements Characterisation, Standards Compliance, The Teams, Derived Bank Script, Determination of Airline Timetable Queries, Stakeholder Walkthroughs, Detailed Consumer Behaviour, E-Market Buyer, Formal Explication, Proof Scripts, Seller Protocols, Single-Server Model, Bank Scripts, Case Study, Domain Scripts, Golden Rule, Mathematical Characterisation, Basic Steps Characterisation, Fitting of Passenger Transfers, Information Document Construction New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
elicitation report, domain description units, linear rail units, code address register, container loading plan, railway freight terminals, required computing system, timetable queries, listed please describe, air cargo centres, requirements facets, refutable assertion, quay position, right operand set, prescription units, stakeholder liaison, two distinct stations, data initialisation, fixed topic, bank script, domain stakeholders, analytic documents, timetable process, area control centres, timetable system Key Phrases - Capitalized Phrases (CAPs): (learn more)
Formal Presentation, Methodological Consequences, Program Specification, The Exercises Exercise, Michael Jackson, Requirements Characterisation, Standards Compliance, The Teams, Derived Bank Script, Determination of Airline Timetable Queries, Stakeholder Walkthroughs, Detailed Consumer Behaviour, E-Market Buyer, Formal Explication, Proof Scripts, Seller Protocols, Single-Server Model, Bank Scripts, Case Study, Domain Scripts, Golden Rule, Mathematical Characterisation, Basic Steps Characterisation, Fitting of Passenger Transfers, Information Document Construction New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 29
books:
See all 29 books this book cites
- Computer Science by Richard Jones in Front Matter, Back Matter (1), and Back Matter (2)
- Philosophical Investigations (3rd Edition) by Ludwig Wittgenstein in Back Matter
- Principles of Protocol Design by Robin Sharp in Back Matter
- Extreme Programming Explained: Embrace Change (2nd Edition) by Kent Beck in Back Matter
- Software Engineering: Principles and Practice, 2nd Edition by Hans van Vliet on page 4
See all 29 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Design Tools & Techniques
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Algorithms
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
