Inferring Formal Software Specifications from Episodic Descriptions.
Van E. KellyUwe NonnenmannPublished in: AAAI (1987)
Keyphrases
- requirements specification
- reactive systems
- formal specification
- written in natural language
- high level
- software development
- software systems
- software tools
- control flow
- computer systems
- source code
- formal language
- operational semantics
- software architecture
- software projects
- real time
- software requirements
- hardware design
- formal methods
- software design
- software maintenance
- systems development
- requirements engineering
- mathematical theory
- user interface
- software components
- delay insensitive
- e learning
- development process