论文部分内容阅读
本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规格说明到算法性设计规格说明的自动或半自动生成,提供了级别较高的软件规格说明语言,提高了系统的软件自动化程度。
算法自动化系统NDADAS
【摘 要】
：
本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规
【机 构】
：
南京大学计算机软件研究所,南京大学计算机软件研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
1990年2期
其他文献
本文在生物神经突触特性的基础上,提出非线性神经突触神经元的概念,并以此为根据,构造了一种用原电池等元件组成的可自行学习联想记忆神经网络模型。这种模型可按Hebb规则学
研究性学习是以培养创新精神和实践能力为重点的素质教育。实施的关键曼改变教师的教学方式和学生的学习方式。改变教师的教学方式就是改变以教师传授知识为主的教学方式；改变
国有企业关系着我国的经济命脉，体现出国家的经济和科技实力。管理好国有企业，其核心是发挥企业人力资源的巨大潜力。本文在考察分析了当前国有企业人力资源的特点、激励机制在
随着多媒体和互联网技术的飞速发展,视频作为内容最丰富的媒体形式呈现出爆炸性增长,在大规模视频数据背景下,如何在带宽和计算成本的双重限制下,实现视频内容的快速检索,对
<正>前不久我有幸观摩了浙江省特级教师项先银的一节公开课,惊叹于项老师的教学魅力,折服于项老师秉承的"生本教育"理念。故撰此文,与大家分享。一、教学设计——基于学生,全
算法构架作用机制——基于算法构架的软件自动产生,是自学习软件自动化系统NDSAIL的一个组成部分.本文通过实例,介绍了算法构架作用机制的基本过程,以期反映算法构架用于软件
药物学是基础医学和临床医学间的一门桥梁课程,它运用基础医学的基础知识来研究药物的作用及其原理,并为临床合理用药提供理论基础.因此,作为医学生,熟悉和掌握药物学基础理