1782 search results - page 23 / 357 » Tool Support for Proof Engineering |
ICCBR
1999
Springer
14 years 28 days ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
IWPC
2005
IEEE
14 years 2 months ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
CSMR
2004
IEEE
14 years 11 days ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
UIST
1992
ACM
14 years 21 days ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...