375 search results - page 3 / 75 » Declarative Reasoning about the Structure of Object-Oriented... |
VLDB
1990
ACM
13 years 9 months ago
1990
ACM
Referential integrity underlies the relational representation of objeceoriented structures. The concept of referential integrity in relational databases is hindered by the confusi...
EWCBR
1998
Springer
13 years 9 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
ASWEC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
GCC
2003
Springer
13 years 10 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
BIRTHDAY
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...