Information Services banner Edinburgh Research Archive The University of Edinburgh crest

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

This item has been viewed 5 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BjornerDines_From-domains-to-requirements.pdfpublisher's pdf file244.44 kBAdobe PDFView/Open
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.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback