首页> 中文期刊> 《软件学报》 >基于网语言的Ada程序局部性质的分析和验证

基于网语言的Ada程序局部性质的分析和验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.

著录项

来源
《软件学报》 |2002年第12期|2305-2316|共12页
作者
丁志军; 蒋昌俊;
展开▼
作者单位

山东科技大学信息科学与工程学院;

山东;

泰安;

271019;

山东科技大学信息科学与工程学院;

山东;

泰安;

271019;

同济大学计算机科学与工程系;

上海;

200092;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Ada网; 同步合成; 同步分解; 网语言; 分析; 验证;

相似文献

中文文献
外文文献
专利

1. 基于ADA法的岩质边坡稳定性分析方法准确性评价 [J] . 朱维伟 ,刘远才 ,谭洋洋 . 盐城工学院学报（自然科学版） . 2007,第004期
2. 基于主成分回归分析的土壤有机质高光谱预测与模型验证 [J] . 卢艳丽 ,白由路 ,杨俐苹 . 植物营养与肥料学报 . 2008,第006期
3. 基于ALI的ADA语言静态分析器的研究与实现 [J] . 朱烨 ,朱宏明 . 电脑知识与技术 . 2008,第033期
4. 基于Petri网的拼团流程模型优化及验证分析① [J] . 杨慧慧 . 佳木斯大学学报（自然科学版） . 2019,第005期
5. 4基于Imagine的科学程序局部性优化方法 [C] . 杜静 ,杨学军 ,杨灿群 . 第14届全国信息存储技术学术会议 . 2006
6. 基于时序Petri网的Ada任务程序性质的分析和验证 [A] . 丁志军 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号