874 search results - page 3 / 175 » A Logic Framework for a Semantics of Object-Oriented Data Mo... |
183
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
163
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
150
Voted
GIS
1999
ACM
15 years 9 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
128
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
141
click to vote
ENTCS
2006
15 years 5 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...