CLARK, Anthony (2000). Object-oriented refinement and proof using behaviour functions. In: Rigorous Object-Oriented Methods 2000, York, 1 January 2000. BCS Electronic Workshops in Computing.
|
PDF
ewic_ro00_paper2.pdf All rights reserved. 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 Institute, Centre or Group - Does NOT include content added after October 2018: | Cultural Communication and Computing Research Institute > Communication and Computing Research Centre |
Departments - Does NOT include content added after October 2018: | Faculty of Science, Technology and Arts > Department of Computing |
Depositing User: | Tony Clark |
Date Deposited: | 12 Apr 2016 11:45 |
Last Modified: | 18 Mar 2021 15:50 |
URI: | https://shura.shu.ac.uk/id/eprint/11931 |
Actions (login required)
View Item |
Downloads
Downloads per month over past year