ADA程序

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于网语言的Ada程序局部性质的分析和验证被引量：1
《软件学报》2002年第12期2305-2316,共12页丁志军 蒋昌俊 
国家自然科学基金资助项目(69973029;69933020);国家高技术研究发展计划资助项目(2001AA413020);国家重点基础研究发展规划973资助项目(G1998030604);国家杰出青年科学基金资助项目(60125205);教育部优秀青年教师教学科研奖励计划资助项目;全国优秀博士论文作
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.
关键词：网语言 ADA程序 局部性质 同步合成 同步分解 分析 验证 ADA语言 并发程序 程序设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部