论文部分内容阅读
本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。
基于Ada的软件开发新模式
【摘 要】
：
本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。
【机 构】
：
国防科枝大学计算机系,国防科枝大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
1989年4期
其他文献
<正>一般认为,演绎数据库(DDB一DeduCtiveDatabase)“诞生”于1978年,至今仅十一年的历史。但是由于其突出的特点,演绎数据库自面世以来就引起了人们的极大重视和广泛兴趣。
<正> 3.D、S和S之间的权衡应当再次强调,照Stabell的话,这就是:现在到了还原D在DSS中地位的时候了。当然,这并非意味着扩展支持可以忽视计算机技术,即第二个S。而仅仅是,它突
在采取软件工程方法进行大型软件开发过程中,传统思想正面临着一些难以解决的问题。本文通过分析这些问题,介绍了速成原型方法,并着重探讨了原型开发过程和速成原型方法对软
本文描述了一类称为专家数据库系统的新型计算机系统的特性。专家数据库系统涉及到专家系统技术与数据库管理系统技术的结合。专家数据库系统将用于开发那些需要对共享信息进
<正> 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若
<正> 域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情
神经网络是近年来掀起热潮的一个特别引人入胜的研究领域,它完全打破了学科的界限,对人工智能、计算机科学、脑神经科学、认知科学、电子学及物理学等学科的新发展都有重要影
近年来在计算机软件及应用领域,一种称为 Hypertext、Hypermedia 以及Hypersystem 的技术或系统十分受人重视。许多国际著名的研究机构、大学及公司先后开发了这类系统,这类
分布式实时处理是当代计算机科学技术前沿课题之一,它是机器人学、计算机集成制造学、并行分布式实时处理理论等边缘科学中的一个核心问题,本文较全面系统地分析了分布式实时