Sciweavers

3311 search results - page 48 / 663
» Deductive Object Programming
Sort
View
ECOOP
2003
Springer
15 years 3 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 2 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 1 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
POS
1990
Springer
15 years 1 months ago
Cache Coherency and Storage Management in a Persistent Object System
Bett Koch, Tracy Schunke, Alan Dearle, Francis Vau...