1. 1. Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS) Advisory Board: G. Ausiello M. Broy C.S. Calude A. Condon D. Harel J. Hartmanis T. Henzinger J. Hromkovic N. Jones T. Leighton M. Nivat C. Papadimitriou D. Scott
2. 2. D. Bjrner Software Engineering 3 Domains, Requirements, and Software Design With 100 Figures 123
3. 3. Author Prof. Dr. Dines Bjrner Computer Science and Engineering Informatics and Mathematical Modelling Technical University of Denmark 2800 Kgs. Lyngby, Denmark bjorner@gmail.com db@imm.dtu.dk Series Editors Prof. Dr. Wilfried Brauer Institut fr Informatik der TUM Boltzmannstr. 3 85748 Garching, Germany brauer@informatik.tu-muenchen.de Prof. Dr. Grzegorz Rozenberg Leiden Institute of Advanced Computer Science University of Leiden Niels Bohrweg 1 2333 CA Leiden, The Netherlands rozenber@liacs.nl Prof. Dr. Arto Salomaa Turku Centre of Computer Science Lemminkisenkatu 14 A 20520 Turku, Finland asalomaa@utu. Library of Congress Control Number: 2006921809 ACM Computing Classication (1998): C.2, C.3, C.4, C.5, D.1, D.2, D.3, F.3, F.4, H.1, J.1, K.6.3 ISBN-10 3-540-21151-9 Springer Berlin Heidelberg New York ISBN-13 978-3-540-21151-8 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microlm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specic statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover Design: KnkelLopka, Heidelberg Typesetting: Camera ready by the Author Production: LE-TEX Jelonek, Schmidt & Vckler GbR, Leipzig Printed on acid-free paper 45/3100/YL 5 4 3 2 1 0
4. 4.
5. 5.
6. 6.
7. 7. Requirements Engineering Domain Engineering Software Design BC + 18, 2023 BC + 9,10,1215 BC + 2729 Formal Version Informal Version Base Course on SE BC: 1,2,5,8,11,16,17,19,2426,3032
8. 8. SE Paradigm The Triptych Documents Concepts Phenomena and Overview of Domain Engineering Domain Engineering Domain Process Model Facets Requirements Overview of Requirements Engineering Engineering Process Model Requirements Software Codesign Hardware/ Architecture Design Software Process Model Systems Design Computing Process Model Development The Triptych Finale Methodology Methods and Models and Modelling On Defining and Jacksons Description Principles Attributes Domain Stakeholders Domain Towards Domain Theories 14 Domain and Concept Formation Domain Analysis Domain Acquisition 15 Facets Requirements Requirements Satisfiability and Feasibility Stakeholders Requirements Acquisition Requirements Concept Analysis and Requirements Formation A Case Study in Component Design 27 28 29 Etcetera: Coding 1 2 5 6 4 3 7 10 9 13 12 8 11 16 17 19 18 20 21 22 23 24 25 26 30 31 32 on Definitions Verification and Validation Verification and Validation and All That! DomainSpecific Architectures
9. 9.
10. 10.
11. 11.
12. 12.
13. 13.
14. 14.
15. 15.
16. 16.
17. 17.
18. 18.
19. 19.
20. 20.
21. 21.
22. 22.
23. 23.
24. 24.
25. 25.
26. 26.
27. 27.