Integration of formal specification, review, and testing for software component quality assurance.
Shaoying LiuTetsuo TamaiShin NakajimaPublished in: SAC (2009)
Keyphrases
- formal specification
- software components
- quality assurance
- software development
- software testing
- software systems
- specification languages
- quality control
- object oriented design
- specification language
- software reuse
- white box testing
- case study
- concurrent systems
- process algebra
- software engineering
- web services
- software quality
- reusable components
- monitoring system
- formal methods
- quality assessment
- software projects
- development process
- building blocks
- software design
- software maintenance
- software metrics
- protocol specification