|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3719
|
| Title: | From domain to requirements |
| Authors: | Bjorner, Dines |
| Issue Date: | Jun-2008 |
| Publisher: | Springer-Verlag Berlin |
| Abstract: | We first present a summary of essentials of domain engineering, its motivation, and its modelling of abstractions of domains through the modelling of the intrinsics, support technologies, management and organisation, rules and regulations, scripts, and human behaviour of whichever domain is being described.
Then we present the essence of two (of three) aspects of requirements: the domain requirements and the interface requirements prescriptions as they relate to domain descriptions and we survey the basic operations that “turn” a domain description into a domain requirements prescription: projection, instantiation, determination, extension and fitting. An essence of interface requirements is also presented: the “merging” of shared entities, operations, events and behaviours of the domain with those of the machine (i.e., the hardware and software to be designed). |
| Description: | Source: CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY Book Series: LECTURE NOTES IN COMPUTER SCIENCE Volume: 5065 Pages: 278-300 Published: 2008 |
| Keywords: | Bjorner informatics |
| URI: | http://hdl.handle.net/1842/3719 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|