Deriving operational software specifications from system goals.
Emmanuel LetierAxel van LamsweerdePublished in: SIGSOFT FSE (2002)
Keyphrases
- written in natural language
- software design
- source code
- control flow
- high level
- user interface
- software development
- software package
- data sets
- requirements specification
- formal verification
- software packages
- functional requirements
- software architecture
- personal computer
- formal specification
- design patterns
- development process
- software systems
- computer systems
- case study
- design requirements
- decision making
- real time