An evolutionary approach to translating operational specifications into declarative specifications.
Facundo MolinaCésar CornejoRenzo DegiovanniGermán RegisPablo F. CastroNazareno AguirreMarcelo F. FriasPublished in: Sci. Comput. Program. (2019)
Keyphrases
- attribute grammars
- high level
- knowledge representation
- written in natural language
- reactive systems
- specification language
- functional requirements
- formal specification
- case study
- decision making
- expert systems
- database
- search algorithm
- data structure
- image sequences
- control flow
- concurrent systems
- delay insensitive
- neural network