417 search results - page 8 / 84 » Integrating visual modeling of agent-based and object-orient... |
TACAS
1999
Springer
15 years 2 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...
APN
2004
Springer
15 years 3 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...
ISPAN
2008
IEEE
15 years 4 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, ...
DATE
1999
IEEE
15 years 2 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...
ISKI
1992
15 years 2 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...