Cogito: a Methodology and System for Formal Software Development.
Anthony C. BloeschEdmund KazmierczakPeter KearneyOwen TraynorPublished in: Int. J. Softw. Eng. Knowl. Eng. (1995)
Keyphrases
- software development
- software engineering
- case study
- effort estimation
- formal model
- software development process
- development methodologies
- software design
- software developers
- development process
- software architecture
- formal specification
- software systems
- software quality
- software evolution
- software reuse
- software industry
- source code
- data sets
- extreme programming
- early phase
- formal language
- genetic algorithm
- databases