A GUI-Aided Approach to Formal Specification Construction.
Shaoying LiuPublished in: SOFL+MSVL (2015)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification languages
- process algebra
- specification language
- formal methods
- data abstraction
- reverse engineering
- user friendly
- concurrent systems
- temporal logic
- model checker
- graphical user interfaces
- web services
- user interface
- case study
- graphical user interface
- response time