]> 2012-02-11T01:04:40-05:00 A Knowledge-Based Approach for Consistency Checking Mechanism in Software Design We are interested in developing an intelligent software development environment that extends the capabilities of current CASE tools. Our approach is based on identifying and representing knowledge from multiple domains and using that knowledge to assist software designers in designing software systems. A prototype system called KASE is currently being developed that is based on this approach. We describe the consistency checking mechanism in KASE which can be used to assist software developers in ensuring the correctness and completeness of a software design. Three new features are introduced for the consistency checking mechanism: integrated consistency checking, flexible control of consistency checking and automatic remedy generation. In this paper we focus on the integrated consistency checking mechanism. We believe that these features can overcome some of the limitations of current CASE tools. techreport 1993 A Knowledge-Based Approach for Consistency Checking Mechanism in Software Design KSL-93-26 1993 March. A Knowledge-Based Approach for Consistency Checking Mechanism in Software Design 1993 Year Title YES Process note Number Note Ksl tr id Knowledge Systems, AI Laboratory Institution Has year Has where published Has title Has publishing details Has identifier Has author Bibtype G. Nakano and Sanjay Bhansali Author Abstract KSL Technical Report Publication Technical Report