Ebook: Software Engineering 3: Domains, Requirements, and Software Design

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.

The final installment in this three-volume set combines sound engineering practice with rigourous mathematics-based approaches to offer practical insight into the art, craft, discipline, logic, practice, and science of developing large-scale software products.

The volume proceeds from 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. Emphasis is placed on the essential ingredients of proper domain descriptions and requirements prescriptions, how the domain knowledge and requirements expectations are acquired and analysed, and how domain and requirements models are validated and verified.

Real world applications in banking, railways, hospitals, logistics, air traffic control and manufacturing are explored. The text describes such specific tools as RAISE, Tempo

The final installment in this three-volume set combines sound engineering practice with rigourous mathematics-based approaches to offer practical insight into the art, craft, discipline, logic, practice, and science of developing large-scale software products.

The volume proceeds from 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. Emphasis is placed on the essential ingredients of proper domain descriptions and requirements prescriptions, how the domain knowledge and requirements expectations are acquired and analysed, and how domain and requirements models are validated and verified.

Real world applications in banking, railways, hospitals, logistics, air traffic control and manufacturing are explored. The text describes such specific tools as RAISE, Tempo
Content:
Front Matter....Pages I-XXX
Front Matter....Pages 1-2
The Triptych Paradigm....Pages 3-51
Documents....Pages 53-91
Front Matter....Pages 93-93
Methods and Methodology....Pages 95-104
Models and Modelling....Pages 105-117
Front Matter....Pages 119-119
Phenomena and Concepts....Pages 121-154
On Defining and on Definitions....Pages 155-171
Jackson’s Description Principles....Pages 173-190
Front Matter....Pages 191-191
Overview of Domain Engineering....Pages 193-200
Domain Stakeholders....Pages 201-210
Domain Attributes....Pages 211-250
Domain Facets....Pages 251-319
Domain Acquisition....Pages 321-332
Domain Analysis and Concept Formation....Pages 333-341
Domain Verification and Validation....Pages 343-349
Towards Domain Theories....Pages 351-358
The Domain Engineering Process Model....Pages 359-362
Front Matter....Pages 363-363
Overview of Requirements Engineering....Pages 365-381
Requirements Stakeholders....Pages 383-387
Requirements Facets....Pages 389-478
Requirements Acquisition....Pages 479-493
Front Matter....Pages 363-363
Requirements Analysis and Concept Formation....Pages 495-501
Requirements Verification and Validation....Pages 503-509
Requirements Satisfiability and Feasibility....Pages 511-519
The Requirements Engineering Process Model....Pages 521-524
Front Matter....Pages 525-526
Hardware/Software Codesign....Pages 527-530
Software Architecture Design....Pages 531-546
A Case Study in Component Design....Pages 547-581
Domain-Specific Architectures....Pages 583-644
Etcetera: Coding and All That!....Pages 645-662
The Computing Systems Design Process Model....Pages 663-668
Front Matter....Pages 669-669
The Triptych Development Process Model....Pages 671-678
Finale....Pages 679-695
Back Matter....Pages 697-768

The final installment in this three-volume set combines sound engineering practice with rigourous mathematics-based approaches to offer practical insight into the art, craft, discipline, logic, practice, and science of developing large-scale software products.

The volume proceeds from 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. Emphasis is placed on the essential ingredients of proper domain descriptions and requirements prescriptions, how the domain knowledge and requirements expectations are acquired and analysed, and how domain and requirements models are validated and verified.

Real world applications in banking, railways, hospitals, logistics, air traffic control and manufacturing are explored. The text describes such specific tools as RAISE, Tempo
Content:
Front Matter....Pages I-XXX
Front Matter....Pages 1-2
The Triptych Paradigm....Pages 3-51
Documents....Pages 53-91
Front Matter....Pages 93-93
Methods and Methodology....Pages 95-104
Models and Modelling....Pages 105-117
Front Matter....Pages 119-119
Phenomena and Concepts....Pages 121-154
On Defining and on Definitions....Pages 155-171
Jackson’s Description Principles....Pages 173-190
Front Matter....Pages 191-191
Overview of Domain Engineering....Pages 193-200
Domain Stakeholders....Pages 201-210
Domain Attributes....Pages 211-250
Domain Facets....Pages 251-319
Domain Acquisition....Pages 321-332
Domain Analysis and Concept Formation....Pages 333-341
Domain Verification and Validation....Pages 343-349
Towards Domain Theories....Pages 351-358
The Domain Engineering Process Model....Pages 359-362
Front Matter....Pages 363-363
Overview of Requirements Engineering....Pages 365-381
Requirements Stakeholders....Pages 383-387
Requirements Facets....Pages 389-478
Requirements Acquisition....Pages 479-493
Front Matter....Pages 363-363
Requirements Analysis and Concept Formation....Pages 495-501
Requirements Verification and Validation....Pages 503-509
Requirements Satisfiability and Feasibility....Pages 511-519
The Requirements Engineering Process Model....Pages 521-524
Front Matter....Pages 525-526
Hardware/Software Codesign....Pages 527-530
Software Architecture Design....Pages 531-546
A Case Study in Component Design....Pages 547-581
Domain-Specific Architectures....Pages 583-644
Etcetera: Coding and All That!....Pages 645-662
The Computing Systems Design Process Model....Pages 663-668
Front Matter....Pages 669-669
The Triptych Development Process Model....Pages 671-678
Finale....Pages 679-695
Back Matter....Pages 697-768
....