A Visual Syntax-Directed Editor for the Descartes Specification Language.
Amir A. KhwajaJoseph E. UrbanPublished in: Softw. Pract. Exp. (1997)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- symbolic execution
- visual information
- high level
- requirements specification
- software environment
- low level
- natural language
- visual features
- visual perception
- reinforcement learning
- case study
- web services
- workflow models
- information systems