A Prototyping Technique with an Asychronous Specification Language.
Miroslav SvédaPublished in: EUROMICRO (1996)
Keyphrases
- specification language
- programming language
- formal specification
- description language
- rapid prototyping
- symbolic execution
- development process
- requirements specification
- software environment
- access control
- artificial intelligence
- database
- constraint satisfaction problems
- distributed systems
- search space
- model checker
- expert systems