Symbolic Animation of JML Specifications.
Fabrice BouquetFrédéric DadeauBruno LegeardMark UttingPublished in: FM (2005)
Keyphrases
- high level
- delay insensitive
- computer graphics
- formal specification
- neural network
- attribute grammars
- computer animation
- connectionist models
- symbolic description
- symbolic reasoning
- concurrent systems
- neural learning
- reactive systems
- specification language
- functional requirements
- image processing
- information retrieval