Abstract
This paper discusses a scheme of automated software design review, utilizing a production system. The paper presents a way in which (real world) check list items can be re-written into a set of rules in a generic form. The rule is comprised of pre-conditional, conditional and conclusive parts. Any design specification, prepared by using such integrated software engineering environments as SEA/I, can be reviewed by rule-based reasoning mechanism. The review is undertaken to see whether the design conforms to a set of rule, and if violation found, diagnoses are given. The experiments show that the automated design review provides such advantages as stabilized quality control, especially being usefull for preventing quality degradation which occurs in an evolutional software development.
