4350 search results - page 12 / 870 » Case studies for contract-based systems |
ESEC
1995
Springer
14 years 1 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
EWCBR
2006
Springer
14 years 1 months ago
2006
Springer
The complexity and high construction cost of case bases make it very difficult, if not impossible, to evaluate a CBR system, especially a knowledge-intensive CBR system, using stat...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
-- This paper presents three principles for alarm analysis to develop early warnings of failure. The concepts are illustrated with real data and experience drawn from Comverse Voic...
EWCBR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...