Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
Shaoying LiuXi WangWeikai MiaoPublished in: ICFEM (2015)
Keyphrases
- formal specification
- requirements analysis
- goal oriented
- model checking
- object oriented design
- specification languages
- specification language
- process algebra
- reverse engineering
- software components
- software development
- development process
- formal methods
- grounded theory
- temporal logic
- knowledge intensive
- concurrent systems
- information systems
- databases
- decision support
- distributed systems
- open source
- knowledge discovery
- case study