Sciweavers

3311 search results - page 48 / 663
» Deductive Object Programming
Sort
View
ECOOP
2003
Springer
15 years 11 months ago
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment
Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif,...
ATAL
2000
Springer
15 years 10 months ago
Generalised Object-Oriented Concepts for Inter-agent Communication
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
POS
1990
Springer
15 years 10 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
POS
1990
Springer
15 years 10 months ago
Cache Coherency and Storage Management in a Persistent Object System
Bett Koch, Tracy Schunke, Alan Dearle, Francis Vau...