Case Study in JML-Based Software Validation.
Lydie du BousquetYves LedruOlivier MauryCatherine OriatJean-Louis LanetPublished in: ASE (2004)
Keyphrases
- case study
- software development
- software systems
- computer systems
- data sets
- software package
- software tools
- software architecture
- software design
- source code
- embedded systems
- development process
- software packages
- software testing
- software maintenance
- design patterns
- lessons learned
- open source
- software engineering
- multiscale
- decision trees
- search engine
- neural network