KSL-93-27 + redirect page
Flexible Control Mechanism in a Consistency Maintenance System + Has identifier
Flexible Control Mechanism in a Consistency Maintenance System + Ksl tr id
Flexible Control Mechanism in a Consistency Maintenance System + Number
| Flexible Control Mechanism in a Consistency Maintenance System |
Bibtype
techreport
Has publishing details
1993
Has title
Flexible Control Mechanism in a Consistency Maintenance System
Has where published
KSL-93-27
Has year
1993
Title
Flexible Control Mechanism in a Consistency Maintenance System
Year
1993
Abstract
We are interested in developing an intelli … 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 flexible control of consistency checking. We believe that these features can overcome some of the limitations of current CASE tools. of the limitations of current CASE tools.
Note
March.
Author
G. Nakano and Sanjay Bhansali +
Has author
G. Nakano and Sanjay Bhansali +
Has identifier
Flexible Control Mechanism in a Consistency Maintenance System +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Flexible Control Mechanism in a Consistency Maintenance System +
Number
Flexible Control Mechanism in a Consistency Maintenance System +
Process note
YES +
Categories KSL Technical Report +, Publication +, Technical Report +
|
