A Formal Software Development Approach Using Refinement Calculus.
Yunfeng WangJun PangMing ZhaZhaohui YangGuoliang ZhengPublished in: J. Comput. Sci. Technol. (2001)
Keyphrases
- software development
- formal language
- software engineering
- software systems
- development process
- software developers
- software components
- case study
- software architecture
- software design
- software development effort
- information systems
- effort estimation
- software testing
- software evolution
- software maintenance
- software projects
- pair programming
- formal specification
- systems development
- software reuse
- software industry
- computer algebra
- extreme programming
- formal model