Solution Verification in Software Design: A CBR Approach.
Paulo GomesFrancisco C. PereiraPaulo CarreiroPaulo PaivaNuno SecoJosé Luís FerreiraCarlos BentoPublished in: ICCBR (2003)
Keyphrases
- software design
- software development
- case based reasoning
- software systems
- object oriented design
- software engineering
- linear equations
- functional requirements
- design patterns
- data mining
- model checking
- learning environment
- database
- user interface
- case base
- expert systems
- optimal solution
- reinforcement learning
- educational software
- uml diagrams