The Library
Definitive principles and the specification of software
Tools
Tools
Tools
Beynon, Meurig, Russ, Steve, Slade, M. D., Yung, Yun Pui and Yung, Y. W. (1989) Definitive principles and the specification of software. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF
WRAP_cs-rr-146.pdf - Other - Requires a PDF viewer. Download (126Kb) | Preview |
Abstract
We investigate a novel approach to programming and specification that aims to support both incremental development and interactive validation. The specification of the behaviour of several agents interacting in a room is viewed as a process of design and simulation. The resemblance between state changes in design (such as moving a shelf) and those in simulation (such as opening a door) motivates a unified representation. The distinction between design and simulation is conventionally reflected in the representation (cf the editing and execution of a program), but it can be better understood in terms of the privileges for action of agents. The action of an agent in a state is expressed within a definitive (definition-based) programming paradigm by a system of definitions specifying systems within an appropriate abstract family of variables. Such use of definitive systems within an appropriate abstract machine model facilitates the representation of the actions associated with each agent and the formalisation of a design in terms of possible agent interactions. The paper concludes with a brief review of the progress to date on the definitive programming project.
| 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 programming | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Place of Publication: | Coventry, UK | ||||
| Official Date: | 1989 | ||||
| Dates: |
|
||||
| Number: | Number 146 | ||||
| Number of Pages: | 10 | ||||
| DOI: | CS-RR-146 | ||||
| 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
