System design with Ada
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
CADA is a design environment for Ada being developed at Carleton University. It is based on an extended version of a graphical design methodology used in Buhr's "System Design With Ada" book. This methodology provides the designer with a vehicle for both reasoning about the design and focusing the design effort. CADA's intended application area is embedded system design. Its claim to being a design environment arises from its integration of (1) a design methodology, (2) a design entry system (graphical paradigms), (3) a design data base, and (4) design tools, for evaluation, analysis and output. The design data base and the majority of the design tools are written in Prolog. The use of Prolog facilitates the incremental addition of design tools. The environment facilitates the incremental development and analysis of designs. A skeleton version of CADA was demonstrated in September 84, showing the use of graphics to capture the logical structure of the system under design in a Prolog design data base and the generation from this design data base of partial Ada source code for the system under design. The significant points to note about the skeleton system are that it provides a basic, necessary capabililty through a very general mechanism which can serve as the basis for an advanced environment.