Implementing a LogiC-Based Executable Specification Language in C++.
Peter A. KirslisRobert B. TerwilligerPublished in: C++ Conference (1988)
Keyphrases
- specification language
- formal specification
- programming language
- model checking
- symbolic execution
- description language
- real world
- software environment
- reverse engineering
- requirements specification
- formal methods
- databases
- knowledge representation
- dynamic programming
- evolutionary algorithm
- high level
- object oriented