Beynon, Meurig and Russ, Steve (1994) Empirical modelling of requirements. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-277.pdf - Other - Requires a PDF viewer. Download (172Kb) | Preview

Request Changes to record.

Abstract

We propose a modelling process, based on observation and experiment, which is well-suited to reactive systems, and which provides an integrated environment for the requirements, specification and design phases of a development. The modelling method depends on application-specific knowledge which can be modified on-line by the intervention of the modeller. The process offers immediate experience of the model behaviour, allows for the concurrent refinement of a requirement according to multiple viewpoints, and assists in the decomposition of a system requirement into component requirements. We present arguments for the principles of the process, and illustrate the application of the process with extracts from a vehicle cruise control model built using our methods.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Computer simulation, Information modeling
Series Name:	Department of Computer Science research report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	September 1994
Dates:	Date Event September 1994 Completion
Number:	Number 277
Number of Pages:	16
DOI:	CS-RR-277
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads