Software Engineering 3: Domains, Requirements, and Software Design

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Dines Bjørner
Series: Texts in Theoretical Computer Science. An EATCS Series
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006

Language: English
Commentary: no cover
Pages: 768
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs

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