Toward Component-Oriented Formal Software Development: An Algebraic Approach.
Michel BidoitDonald SannellaAndrzej TarleckiPublished in: RISSEF (2002)
Keyphrases
- software development
- software components
- software developers
- development process
- oriented programming
- formal model
- software engineering
- software systems
- case study
- genetic algorithm
- real world
- software projects
- software design
- software testing
- database
- real time
- requirements engineering
- cost estimation
- effort estimation