An approach to integrating semi-formal and formal notations in software specification.
Sergiu DascaluPeter HitchcockPublished in: SAC (2002)
Keyphrases
- formal methods
- formal specification
- requirements specification
- specification languages
- formal language
- specification language
- reactive systems
- data sets
- computer systems
- formal analysis
- formal model
- case study
- mathematical theory
- neural network
- logic programming
- test cases
- modeling language
- user interface
- natural language
- requirements engineering
- software requirements
- databases