Rapid Visualization of B Specifications containing Higher-Order Recursive Functions.
Jens BendispostoMichael LeuschelPublished in: Softwaretechnik-Trends (2006)
Keyphrases
- recursive functions
- higher order
- inductive inference
- pairwise
- natural images
- high order
- markov random field
- data analysis
- low order
- lambda calculus
- high level
- interactive visualization
- data visualization
- self organizing maps
- formal specification
- information visualization
- functional requirements
- visual representation
- theoretical analysis
- delay insensitive
- upper bound