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