Flexible control mechanism in a consistency maintenance system
1993
An attempt is being made to develop an intelligent software development environment that extends the capabilities of current CASE (computer-aided software engineering) tools. The approach used 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. The authors 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. Flexible control of consistency checking is emphasized in the present work. It is believed that these features can overcome some of the limitations of current CASE tools. >
Keywords:
- Software peer review
- Software construction
- Real-time computing
- Social software engineering
- Resource-oriented architecture
- Systems engineering
- Package development process
- Software design description
- Software verification and validation
- Software sizing
- Computer science
- Software engineering
- Software system
- Software measurement
- Computer-aided software engineering
- Software verification
- Software development
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
10
References
1
Citations
NaN
KQI