Paper Info
Title
Solution verification in software design: a CBR approach
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.
Year
DOI
Venue
2003
10.1007/3-540-45006-8_16
ICCBR
Keywords
Field
DocType
software system,case tool,solution verification,new solution,development team,demanding task,intelligent ability,cbr approach,software design,verification process,new design,software systems
Functional verification,Software design,Software engineering,Computer science,Intelligent verification,Software system,Artificial intelligence,Computer-aided software engineering,Software architecture,Software development,Software verification,Distributed computing
Conference
Volume
ISSN
ISBN
2689
0302-9743
3-540-40433-3
Citations 
PageRank 
References 
1
0.37
7
Authors
7
Name
Order
Citations
PageRank
Paulo Gomes110.37
Francisco C. Pereira233133.07
Paulo Carreiro31069.85
Paulo Paiva41069.85
Nuno Seco544827.86
José Luís Ferreira6425.90
Carlos Bento720119.84