From Stakeholder Requirements to Formal Specifications Through Refinement.
Feng-Lin LiJennifer HorkoffAlexander BorgidaGiancarlo GuizzardiLin LiuJohn MylopoulosPublished in: REFSQ (2015)
Keyphrases
- formal specification
- object oriented design
- specification languages
- model checking
- specification language
- formal specification language
- concurrent systems
- reverse engineering
- software requirements
- requirements engineering process
- functional requirements
- formal methods
- software components
- process algebra
- semantic data models
- distributed systems
- protocol specification
- general purpose