The Library
Software construction using definitions : an illustrative example
Tools
Tools
Tools
Beynon, Meurig, Norris, M. T., Russ, Steve, Slade, M. D., Yung, Yun Pui and Yung, Y. W. (1989) Software construction using definitions : an illustrative example. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF
WRAP_cs-rr-147.pdf - Other - Requires a PDF viewer. Download (2331Kb) | Preview |
Abstract
We present and illustrate an approach to software construction that aims to develop a program through building an explicit state-transition model of the requirement. The approach is characterised by the use of systems of definitions that admit interpretation in both conceptual and machine-oriented terms. Such definitions represent a far-reaching generalisation of spreadsheet formulae that is well-adapted for interactive and incremental modelling. The method of elaborating the model of requirements is cognitively based. It depends upon the identification of agents and their privileges for action, as specified in the definition-based notation LSD, and the simulation of agent action in appropriate contexts within the Abstract Definitive Machine. This machine model has several interesting characteristics, including the explicit modelling of data dependency and the interaction and concurrency. We illustrate our method with reference to the development of a small educational program.
| 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): | Interactive multimedia | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | September 1989 | ||||
| Dates: |
|
||||
| Number: | Number 147 | ||||
| Number of Pages: | 16 | ||||
| DOI: | CS-RR-147 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
