A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.
Fumiko NagoyaShaoying LiuPublished in: SOFL+MSVL (2016)
Keyphrases
- formal specification
- object oriented design
- model checking
- specification language
- specification languages
- user friendly
- case study
- reverse engineering
- process algebra
- concurrent systems
- test bed
- design methodology
- formal methods
- graphical user interface
- object oriented
- protocol specification
- user interface
- high level