软件CAD：一种革命性方法

计算机辅助软件设计(软件CAD)一词意示着一种设计范例和支撑环境,其中心思想是软件结构的图形表示类似布线图,作为人的推理和自动工具的一种框架,用于分析和代码生成。革命性一词强调在软件产业中采用这种方法,对实践现状确有革命性的效果。本文源于Carleton大学开发的一个叫做Carleton嵌入式系统设计环境(CAEDE)的软件CAD实验环境的研究项目,该环境面向嵌入式系统和Ada,提供此概念的论证和用作一种研究试验台。本文所介绍的CAEDE的主要贡献在于论证了一种把与Ada有关的深刻语义和浅显语法相结合的可视范例,这种结合方式有可能使嵌入式系统设计者一边“思考Ada”,一边借助抽象机进行工作。其次的贡献是弄清了在一个支撑可视范例的环境中,Prolog是一种支持工具开发的有前途的方法。我们还概述了一些用于时态分析,性能分析和Ada骨架代码生成的实验性工具。