417 search results - page 8 / 84 » Integrating visual modeling of agent-based and object-orient... |
135
click to vote
TACAS
1999
Springer
15 years 8 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...
142
Voted
APN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
150
click to vote
ISPAN
2008
IEEE
15 years 10 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
121
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
143
click to vote
ISKI
1992
15 years 8 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...