Sciweavers

Share
ROOM
2000

Object-Oriented Refinement and Proof using Behaviour Functions

8 years 7 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
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 ween 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.
Tony Clark
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where ROOM
Authors Tony Clark
Comments (0)
books