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. Hromkoviˇ c N. Jones T. Leighton M. Nivat C. Papadimitriou D. Scott
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. D. Bjrner Software Engineering 3 Domains, Requirements, and
Software Design With 100 Figures 123
3. Author Prof. Dr. Dines Bjrner Computer Science and
Engineering Informatics and Mathematical Modelling Technical
University of Denmark 2800 Kgs. Lyngby, Denmark [email protected][email protected] Series Editors Prof. Dr. Wilfried Brauer Institut fr
Informatik der TUM Boltzmannstr. 3 85748 Garching, Germany
[email protected] Prof. Dr. Grzegorz Rozenberg
Leiden Institute of Advanced Computer Science University of Leiden
Niels Bohrweg 1 2333 CA Leiden, The Netherlands [email protected]
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.
5.
6.
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. 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