%0 Journal Article
%T 软件CAD：一种革命性方法
%A Buhr
%A RJA 示兀
%J 计算机科学
%D 1989
%I 
%X 计算机辅助软件设计(软件CAD)一词意示着一种设计范例和支撑环境,其中心思想是软件结构的图形表示类似布线图,作为人的推理和自动工具的一种框架,用于分析和代码生成。革命性一词强调在软件产业中采用这种方法,对实践现状确有革命性的效果。本文源于Carleton大学开发的一个叫做Carleton嵌入式系统设计环境(CAEDE)的软件CAD实验环境的研究项目,该环境面向嵌入式系统和Ada,提供此概念的论证和用作一种研究试验台。本文所介绍的CAEDE的主要贡献在于论证了一种把与Ada有关的深刻语义和浅显语法相结合的可视范例,这种结合方式有可能使嵌入式系统设计者一边“思考Ada”,一边借助抽象机进行工作。其次的贡献是弄清了在一个支撑可视范例的环境中,Prolog是一种支持工具开发的有前途的方法。我们还概述了一些用于时态分析,性能分析和Ada骨架代码生成的实验性工具。
%K 软件工程
%K 软件CAD
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=94BEF787AED8F03672428967D5E2179A&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=B31275AF3241DB2D&sid=7C3A4C1EE6A45749&eid=8E6AB9C3EBAAE921&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0