Software monitoring through formal specification animation.
Hui LiangJin Song DongJing SunW. Eric WongPublished in: Innov. Syst. Softw. Eng. (2009)
Keyphrases
- formal specification
- object oriented design
- formal methods
- model checking
- software components
- specification languages
- specification language
- monitoring system
- process algebra
- software development
- user interface
- data abstraction
- software systems
- concurrent systems
- software design
- reverse engineering
- formal verification
- formal specification language
- software projects
- temporal logic
- source code
- cooperative
- software maintenance
- development process
- software architecture
- computer software
- building blocks
- data warehouse
- case study
- grid workflow
- protocol specification
- machine learning