A Case Study in JML-Assisted Software Development.
Néstor CatañoFernando BarrazaDaniel GarcíaPablo OrtegaCamilo RuedaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- software development
- case study
- software engineering
- software systems
- software developers
- software projects
- software components
- development process
- requirements engineering
- systems development
- open source software
- development cycle
- databases
- cost estimation
- software industry
- effort estimation
- extreme programming
- software cost estimation
- software development effort
- software design
- test bed
- software architecture
- knowledge management
- data model
- real world
- software testing
- software reuse
- software development projects
- pair programming
- software development teams
- multi agent systems
- social networks