An approach to computer-aided specification

A knowledge-based approach to computer-aided specification (CAS), covering the acquisition, checking, and processing of functional, electrical, timing, environmental, and test-oriented specification data using object-oriented data representation and rule-based consistency checking, is proposed. The approach, which covers specification data for digital, analog, optoelectronic, actuator, and sensor components, is part of the DEBYS (design by specification) system, an integrated environment for the specification, design, verification, test, and design management of microcomponents. A brief description of DEBYS is followed by a detailed discussion of its CAS part