product iamge

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.

Download
Search on Amazon

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 final installment in this three-volume set is based on 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.

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

Language: English
Pages: 799

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