Solution verification in software design: a CBR approach

Authors:
Paulo Gomes;Francisco C. Pereira;Paulo Carreiro;Paulo Paiva;Nuno Seco;José Luís Ferreira;Carlos Bento
Affiliations:
Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra;Centro de Informática e Sistemas da Universidade de Coimbra, Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra
Venue:
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Year:
2003

Citing 5
Cited 0

Case-based reasoning

Case-based reasoning
Case-based reasoning: foundational issues, methodological variations, and system approaches

AI Communications
Combining Case-Based Reasoning and Analogical Reasoning in Software Design

AICS '02 Proceedings of the 13th Irish International Conference on Artificial Intelligence and Cognitive Science
Learning to verify design solutions from failure knowledge

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Introduction to the special issue on word sense disambiguation: the state of the art

Computational Linguistics - Special issue on word sense disambiguation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software design is becoming a demanding task, not only because the complexity of software systems is increasing, but also due to the pressure that development teams suffer from clients. CASE tools capable of performing more work and of having more intelligent abilities are needed, so that, they can provide more help to the designer. In this paper we describe a CASE tool capable of assisting the designer in a more intelligent way, be it by suggesting new solutions or by learning user preferences. We detail how the solutions are generated and focus on the verification process, which enables the new designs to have less errors. This verification process takes a CBR approach, which has the advantage of being personalized. We describe experimental results that show the effect of the verification process in the generated solutions.