共查询到20条相似文献,搜索用时 109 毫秒
1.
关于Ada并发可重用软件包的设计 总被引:1,自引:0,他引:1
文中首先分析了一般Ada顺序可重用软件包在用于开发Ada并发软件时所存在的问题,然后给出了几种可以支持并发软件开发的Ada可重用软件包的实现方案,并同时指出了各种方案的不足及可取之处。 相似文献
2.
3.
PSS/Ada程序切片系统的设计与实现 总被引:7,自引:0,他引:7
PSS/Ada是一个Ada程序静态切片生成系统,可广泛应用于Ada程序的测试、排错、理解、维护以及Ada软件的波动性分析、并行性检测和复杂性度量等诸方面,本文介绍PSS/Ada系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。 相似文献
4.
本文阐述了Ada软件开发系统SUNADADS-2系统功能的设计与实现。 相似文献
5.
本文在对指挥仪系统技术特点进行讨论了基础上,论述了Ada应用于军用指挥仪的适用性和有效性,并就空地,空航导弹系统,给出了较了顶层的Ada解。 相似文献
6.
论述了Ada软件源代码分析器的结构,功能以及一些特点。该工具是保证Ada软件系统质量的工具这一,可为高效地开发和维护大型,复杂的软件系统提供支持。 相似文献
7.
张庭俊 《抗恶劣环境计算机》1996,10(5):18-24
为了更好支持实时系统中使用并行机制,Ada程序设计语言的修订标准-Ada9X扩充了Ada的任务机制模型,这些扩充需要新的实现方法,该文讨论了有关技术问题,并且概述了实现方案-GNuAda运行库,详细地讨论了两个特点:保护对象和控制异步转换,保护对象是一种数据对象,对于多任务并发存取是安全的,控制异步转换允许一个任务去响应中止当前计算的异步事件,并把控制转移到该任务中的一个恢复点。 相似文献
8.
部件式软件开发模型技术 总被引:1,自引:0,他引:1
部件式软件开发代表了分布式计算环境下较新的软件开发模式与方向,目前使用最广泛的部件软件开发模型和技术-COM/OLE/Activex,已成为事实上的软件工业标准,本文对部件式软件开发的基本概念、模型及技术作了概要的介绍。 相似文献
9.
对程序进行分析和测试是提高软件可靠性有效途径,本文介绍的Ada软件SLICE分析器是一种对被测软件进行静态数据流分析的工具,它能缩小用户分析与检查被测程序的范围,帮助用户及时找到所关心的程序段和语句,为保证Ada软件系统的质量,提高开发与维护大型复杂软件系统的效率提供支持。 相似文献
10.
Ada95与面向对象的程序设计 总被引:1,自引:2,他引:1
徐宝文 《计算机研究与发展》1997,34(1):58-65
本文首先分析了Ada83对面向对象的程序设计的支持特征,然后对Ada95在Ada83的基础上所新增加的面向对象设施进行了详细的介绍与讨论。 相似文献
11.
本文介绍一种基于Ada的交叉引用语言CRL/Ada,它用于描述Ada程序实体的定义与引用信息,在软件维护的过程中,利用它可以方便地获得软件源程序中的实体信息。本文将介绍它的设计思想、程序结构与应用。 相似文献
12.
徐宝文 《计算机研究与发展》1999,36(5)
SIGAda'98国际Ada语言学术年会于1998年11月8日至12日在美国首都华盛顿召开.该会议的前身是由学术界、产业界与政府三方联合召开多年的Tri-Ada会议.作为Tri-Ada会议的延续,SIGAda国际Ada语言学术年会主要由学术界负责召开... 相似文献
13.
谢铁柱 《计算机与信息处理标准化》1994,(1):61-64,F004
本文在分析我国当前软件生产状况的基础上,从贯彻执行有关软件标准,推行软件商品化,发展中文平台技术三个方面谈了对如何提高我国软件开发水平的途径,并生产力介绍了美国军用软件产品标准对软件开发的基本要求。 相似文献
14.
Ada语言是美国国防部(DoD)在国际范围内组织设计的软件工程语言。它具有实时性、模块性、并行性,在数据抽象,模块结构、并行控制和异常处理等方面提出一整套新概念、新方法,是现代计算机语言的成功代表。该文主要描述由PCx86/UINX平台上的Adz-z编译系统的信息流导致的软件结构、结构内部的接口定义及每个软件元素的功能。 相似文献
15.
SSAC是一个基于软件科学法的Ada程序复杂性度量工具,其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ada程序中并发操作符和并发操作元的定义和识别。同时提出在Ada程序复杂性综合度量中,并发复杂性的加权思想。 相似文献
16.
谢铁柱 《计算机工程与科学》1994,16(4):94-95
本文在分析我国当前软件生产状况的基础上,从贯彻执行有关软件标准、推行软件商品化、发展中文平台技术三个方面谈了如何提高我国软件开发水平的途径,并简略介绍了美国军用软件产品标准(DOD—STD—1703)对软件开发的基本要求。 相似文献
17.
本文分析了美国军用软件标准的演变情况,指出军用软件标准的演变是为了适应软件开发技术的进化,提示我们考虑我国军用软件标准更新的必要性。 相似文献
18.
Ada95语言评述 总被引:1,自引:0,他引:1
徐宝文 《计算机研究与发展》1997,34(1):53-57
Ada95语言是在Ada83基础上修订而成的,它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施,它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。 相似文献
19.
《CAD/CAM与制造业信息化》1995,(7)
Draftstar1.0杭州商用机器公司在总结已往CAD/CAM软件开发的基础上,研制了一个主要面向机械行业工程设计绘图的软件Draftstar和工程图纸管理系统EDMS。它们与传统绘图软件相比,具有以下特点:·支持产品早期设计,具有草图设计能力;·... 相似文献
20.
“Ada与GKS联编的研究”是国家八五预研项目,其目的是分析和研究如何用Ada语言来实现ISOGKS标准以及实现接口的标准化。研究中采纳了美国一些公司的一些成功经验并加以修改和应用。 相似文献