308 search results - page 1 / 62 » Verification of object-oriented simulation designs |
PDSE
1998
14 years 7 days ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
SIGCSE
1998
ACM
14 years 3 months ago
1998
ACM
act In teaching object oriented design, it is important for students to work on projects that use a variety of design patterns, interaction between objects, and provide the opportu...
DAC
2001
ACM
14 years 12 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
GI
2007
Springer
14 years 5 months ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...