ADA程序

作品数：15被引量：3H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王振宇史晓华高仲仪蒋昌俊丁志军更多>>
相关机构：同济大学武汉数字工程研究所北京航空航天大学山东科技大学更多>>
相关期刊：《计算机工程与设计》《计算机与数字工程》《哈尔滨工业大学学报》《微型计算机》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划高等学校优秀青年教师教学科研奖励计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于网语言的Ada程序局部性质的分析和验证被引量：1
《软件学报》2002年第12期2305-2316,共12页丁志军 蒋昌俊 
国家自然科学基金资助项目(69973029;69933020);国家高技术研究发展计划资助项目(2001AA413020);国家重点基础研究发展规划973资助项目(G1998030604);国家杰出青年科学基金资助项目(60125205);教育部优秀青年教师教学科研奖励计划资助项目;全国优秀博士论文作
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.
关键词：网语言 ADA程序 局部性质 同步合成 同步分解 分析 验证 ADA语言 并发程序 程序设计 
ADA程序通信死锁的动态检测方法被引量：2
《计算机研究与发展》1999年第8期954-960,共7页史晓华 高仲仪 邵晖 
针对ＡＤＡ并发多任务程序的特点，文中提出一个新的ＡＤＡ程序动态死锁检测方案，并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ（ｄｙｎａｍｉｃｄｅａｄｌｏｃｋｔｅｓｔｉｎｇｔｏｏｌ）．此工具能够正确检测ＡＤＡ多...
关键词：动态检测 ADA语言 通信死锁 软件测试 
SSAC,一个基于软件科学法的Ada程序复杂性度量工具
《计算机与数字工程》1998年第2期17-22,44,共7页陈敏 王振宇 
SSAC是一个基于软件科学法的Ada程序复杂性度量工具,其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ada程序中并发操作符和并发操作元的定义和识别。同时提出在Ada程序复杂性综合度量中,并发复杂性的加权思想。
关键词：软件科学法 复杂性度量 SSAC ADA语言 程序设计 
程序调用优化的几种方法
《电力情报》1997年第3期46-50,共5页闫力芳 赵文清 王德文 
在电网监控类大系统的开发中，确定了指令系统和设计语言后，如何使程序调用优化是值得研究的课题。块结构语言中，执行过程调用和变量引用时，要用到静态链和区头向量。这两种方法在程序执行时都占用大量的运行时间。针对静态链探讨了...
关键词：程序调用 RISC模型 ADA程序 电网 监控系统 
基于会合关系的Ada程序并发复杂性度量
《自然科学进展（国家重点实验室通讯）》1996年第4期477-483,共7页王振宇 陈利 王志江 
国家自然科学基金
多任务程序的并发性表现为任务之间的通讯和同步行为。对Ada程序而言就是任务之间的会合。理解并发程序的难度也就在理解其中的会合和会合之间的关系。研究了会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,建议Ada程序...
关键词：ADA程序 并发程序 会合关系 程序复杂性 
Ada程序的会合次序图被引量：1
《计算机与数字工程》1996年第4期1-13,58,共14页王振宇 
针对Ada程序提出了一种会合次序图,用以表达程序中的会合次序和和任务的流程。同巳有的其他多任务描述工具相比,更容易理解。可以用做并发程序的设计描述手段和程序理解工具,它也适用于其他具有会合并发机构的语言。
关键词：程序设计 ADA语言 会合次序图 并发程序 
Ada程序的验证测试
《航空电子技术》1994年第4期31-34,共4页陆荣国 
本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。
关键词：ADA程序 静态代码审查 模块测试 计算机 
Ada程序的一种并行分解策略
《哈尔滨工业大学学报》1994年第6期24-28,共5页李莲治 廖明宏 郭福顺 黄仲伟 
博士点基金
提出一种对Ａｄａ程序进行大粒度并行分解的策略，其实现可在单机原有Ａｄａ编译系统的基础上经过改造、扩充而成。根据这一策略实现的软件系统已安装在两种多机环境中。
关键词：ADA语言 并行分解 多机系统 并行处理 
一个半自动生成Ada程序的软件开发环境GFKD_AUTO
《计算机工程与科学》1992年第1期32-37,共6页陈火旺 张克均 殷建平 
本文描述了一个半自动生成Ada程序的软件开发环境GFKD__AUTO的设计与实现。在介绍了设计思想,总体结构和界面情况之后,本文列举了该环境的主要功能,除变换子系统外,该环境还集成了查阅子系统,窗口子系统,编辑子系统(包括正文编辑和图形...
关键词：ADA程序 软件开发 GFKD-AUTO 
Ada语言和Ada程序设计环境
《微型计算机》1992年第2期34-38,共5页黄建新 
关键词：ADA语言 程序设计 设计环境 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部