Understanding the Role of Formal Specification Techniques in Requirements Engineering.
Robert B. FranceMaria M. Larrondo-PetriePublished in: CSEE (1995)
Keyphrases
- formal specification
- requirements engineering
- specification language
- requirements specification
- software engineering
- specification languages
- model checking
- object oriented design
- systems engineering
- life cycle
- reverse engineering
- goal oriented
- process algebra
- requirements analysis
- requirements elicitation
- software development
- concurrent systems
- formal methods
- business process
- case study
- requirements engineering process
- security requirements
- protocol specification
- software intensive systems
- database
- software components
- development process
- decision making
- information systems
- systems development
- literature review
- software maintenance
- software requirements
- high level
- real world
- databases