Sciweavers

BIRTHDAY
2004
Springer

Object-Oriented Specification and Open Distributed Systems

14 years 3 months ago
Object-Oriented Specification and Open Distributed Systems
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning about an object in terms of its observable behavior, where the specification of an object's present behavior is given by means of its past interactions with the environment. In this paper, we review some of the ideas behind this approach and show how they can be fruitfully extended for reasoning about black-box components in open object-oriented distributed systems.
Einar Broch Johnsen, Olaf Owe
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where BIRTHDAY
Authors Einar Broch Johnsen, Olaf Owe
Comments (0)