613 search results - page 15 / 123 » Executable Visual Contracts |
ICLP
1993
Springer
14 years 1 months ago
1993
Springer
ECOOP
2010
Springer
14 years 1 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
HICSS
1996
IEEE
14 years 2 months ago
1996
IEEE
Parallel direct execution simulation is an important tool for performance and scalability analysis of large message passing parallel programs executing on top of a virtual compute...
SOFTVIS
2006
ACM
14 years 3 months ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...