4 search results - page 1 / 1 » Symbolic Animation of JML Specifications |
54
Voted
FM
2005
Springer
15 years 2 months ago
2005
Springer
72
Voted
SIGADA
1998
Springer
15 years 1 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
14 years 10 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...
112
click to vote
SIGGRAPH
1992
ACM
15 years 1 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...