Combining case-based and model-based reasoning: A formal specification

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 416-420

  Li, Shuguang ^a   Jiang, Qing ^a   George, C ^b  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

CD recording; Central Processing Unit; Data structures; Databases; Design automation; Displays; Formal specifications; Inference mechanisms; Mechanical factors; Prototypes

Indexed keywords

CASE BASED REASONING; COMPUTER AIDED DESIGN; DATA HANDLING; DATA STRUCTURES; DATABASE SYSTEMS; DESIGN; DISPLAY DEVICES; PROGRAM PROCESSORS; SOFTWARE ENGINEERING; SPECIFICATIONS;

CD RECORDING; DESIGN AUTOMATIONS; INFERENCE MECHANISM; MECHANICAL FACTORS; PROTOTYPES;

FORMAL SPECIFICATION;

EID: 84949492075     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896728     Document Type: Conference Paper

References (12)

1. A. Aamodt and E. Plaza. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communication, 7:39-59, 1994.
2. P. M. Bruun et al. RAISE Tools Reference Manual. Technical Report LACOS/CRI/DOC/13/0, CRI, 1994.
3. A. G. de Silva Garzaa and M. L. Maher. Design by Interactive Exploration Using Memory-Based Techniques. www.arch.usyd.edu.au/kcdc/.
4. M. Maher and D. Zhang. CADSYN: Using case and decomposition knowledge for design synthesis. Artificial Intelligence in Design '91, pages 137-150, 1991.
5. M.A.Rosenman, J.S.Gero, and M.L.Maher. Knowledge-Based Research at the Key Centre of Design Computing. www.arch.usyd.edu.au/kcdc/, July 1993.
6. The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, 1992.
7. The RAISE Method Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall, 1995.
8. M. Rosenman, J. Gero, and R. Oxman. What's in a case: the use of case-bases, knowledge-bases and databases in design. In CAAD Futures '91, pages 285-300, 1992.
9. G. Sander. Visualization of Compiler Graphs. I.Lemke, G.Sander and the COMPARE Consortium, 1995.
10. L. Shuguang, J. Qing, and C. George. Combining Case-based and Model-based Reasoning: A Formal Specification. Technical Report 188, UNU/IIST, P.O.Box 3058, Macau, March 2000.
11. W. Wang and J. Gero. A memory organization for heterogeneous design knowledge. Knowledge Based System in Civil Engineering, pages 99-107, 1993.
12. D. Zhang and M. Maher. Using case-based reasoning for the synthesis of structural system. Knowledge Based System in Civil Engineering, pages 143-152, 1993.