Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.
Noah S. PrywesAmir PnueliS. ShastryPublished in: ACM Trans. Program. Lang. Syst. (1979)
Keyphrases
- specification language
- software development
- symbolic execution
- programming language
- formal specification
- description language
- software engineering
- software architecture
- case study
- requirements specification
- software environment
- software systems
- general purpose
- development process
- software developers
- object oriented
- software components
- software projects
- data model
- search algorithm
- multi agent
- high level
- artificial intelligence