Program Synthesis from Formal Requirements Specifications Using APTS.
Elizabeth I. LeonardConstance L. HeitmeyerPublished in: High. Order Symb. Comput. (2003)
Keyphrases
- program synthesis
- recursive programs
- requirements specification
- functional requirements
- formal specification
- software requirements
- written in natural language
- reactive systems
- formal language
- requirements engineering
- inductive logic programming
- delay insensitive
- software engineering
- specification language
- database
- controlled natural language
- formal descriptions
- relational learning
- design requirements
- logic programs
- search engine