Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems.
Mo LiShaoying LiuPublished in: IEEE Trans. Reliab. (2016)
Keyphrases
- software systems
- software design
- requirements specification
- software architecture
- functional requirements
- software engineering
- object oriented systems
- source code
- software development
- software components
- design patterns
- software testing
- metamodel
- software maintenance
- software requirements
- software evolution
- high assurance
- dynamic reconfiguration
- complex software systems
- formal methods
- user interface
- software engineers
- case study
- object oriented
- linux kernel
- formal specification
- multi agent systems