740 search results - page 4 / 148 » Constraints in Object-Oriented Analysis and Design |
COOPIS
1998
IEEE
13 years 11 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
TACAS
1999
Springer
13 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
FM
2005
Springer
14 years 1 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
SIGCSE
1999
ACM
13 years 12 months ago
1999
ACM
This paper describes a project suitable for students in CS2 that combines the classical implementation of basic data structures (priority queues, lists, arrays) with the design an...
IEEEICCI
2007
IEEE
14 years 1 months ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...