Software Engineering 3: Domains, Requirements, and Software Design

Description

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. 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