Automatic Derivation of Formal Software Specifications From Informal Descriptions.
Kanth MiriyalaMehdi T. HarandiPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- requirements specification
- high level
- reactive systems
- formal specification
- written in natural language
- formal methods
- control flow
- source code
- software systems
- fully automatic
- semi automatic
- software design
- user interface
- software tools
- computer systems
- software development
- specification language
- computer software
- hardware design
- software maintenance
- requirements engineering
- artificial intelligence
- neural network
- conceptual models
- database
- software evolution
- development process
- formal verification
- model checking
- formal language
- information systems