A Formal Software Development Approach Based on COOZ and Refinement Calculus.
Yunfeng WangBixin LiJun PangMing ZhaGuoliang ZhengPublished in: TOOLS (31) (1999)
Keyphrases
- software development
- formal language
- software engineering
- case study
- software systems
- cost estimation
- software projects
- software process
- systems development
- software design
- refinement process
- effort estimation
- formal representation
- data sets
- software maintenance
- formal model
- software components
- development process
- software reuse
- software developers
- extreme programming
- software development effort