613 search results - page 15 / 123 » Executable Visual Contracts |
136
click to vote
ECOOP
2010
Springer
15 years 5 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...
118
click to vote
IPPS
2002
IEEE
15 years 7 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
15 years 6 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...
111
click to vote
SOFTVIS
2006
ACM
15 years 8 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...