Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

Description

Dines Bjorner , «Software Engineering 3: Domains, Requirements, and Software Design»
(Texts in Theoretical Computer Science. An EATCS Series)
Springer-Verlag | ISBN: 3540211519 | May 2005 | 766 Pages | PDF | 6.8 Mb
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the 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." This book covers the process from the development of domain descriptions, via the derivation of requirements prescriptions from domain models, to the refinement of requirements into software designs, i.e., architectures and component design. Emphasis is placed on what goes into proper domain descriptions and requirements prescriptions, how one acquires and analyses the domain knowledge and requirements expectations, and how one validates and verifies domain and requirements models. The reader can take an informal route through Vol. 3, and this would be suitable for undergraduate courses on software engineering. Advanced students, lecturers, and researchers may instead follow the formal route through Vol. 3, and in this case Vol. 1 is a prerequisite text. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

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 (1979—1989); 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


DownLoad @ RapidShare.Com


$$ Buy "Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)" on Amazon $$

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 104
2. Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
3. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
4. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
5. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
6. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
7. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
8. Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
9. Public-Key Cryptography (Texts in Theoretical Computer Science. An EATCS Series)
10. Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
11. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
12. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
13. Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance (Texts in Theoretical Computer Science. An EATCS Series)
14. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
15. Software Engineering 3: Domains, Requirements, and Software Design
16. Software Engineering 3: Domains, Requirements, and Software Design