308 search results - page 2 / 62 » Verification of object-oriented simulation designs |
FASE
2001
Springer
13 years 9 months ago
2001
Springer
TAP
2008
Springer
13 years 5 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
SIGCSE
1999
ACM
13 years 9 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...
SERP
2003
13 years 6 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
PADS
2003
ACM
13 years 10 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...