4 search results - page 1 / 1 » Symbolic Animation of JML Specifications |
FM
2005
Springer
13 years 11 months ago
2005
Springer
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
SIGGRAPH
1992
ACM
13 years 9 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...