Object-oriented refinement and proof using behaviour functions.
Clark, Tony (2000) Object-oriented refinement and proof using behaviour functions. In: Rigorous Object-Oriented Methods, 17 January 2000, York, UK. . [Conference or Workshop Item]
|
PDF
Download (125kB) | Preview |
Abstract
This paper proposes a new calculus for expressing the behaviour of object-oriented systems.
The semantics of the calculus is given in terms of operators from computational category theory.
The calculus aims to span the gulf between abstract specification and concrete implementation of object-oriented systems using mathematically verifiable properties and transformations.
The calculus is compositional and can be used to express the behaviour of partial system views. The calculus is used to specify, analyse and refine a simple case study.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science A. > School of Science and Technology > Computer Science > Intelligent Environments group A. > School of Science and Technology > Computer Science > SensoLab group |
| Item ID: | 6164 |
| Depositing User: | Devika Mohan |
| Date Deposited: | 29 Jun 2010 06:29 |
| Last Modified: | 30 Nov 2022 03:01 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6164 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)