期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

一种并发系统的规约方法

下载PDF

导出

摘要提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．

作者刘剑李彤

机构地区云南大学计算机科学系

出处《计算机应用研究》 CSCD 2000年第5期15-17,共3页 Application Research of Computers

基金云南省自然科学基金!(98F005G) 云南省中青年科技带头人培养基金!(1998-37)

关键词并发系统形式化规约面向对象软件开发方法

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献2

1胡绪美.测量不确定度评定及应用[J].工业计量,2008,18(3):39-43. 被引量：5
2邱英,彭延龄.测量不确定度评定与表示[J].机械工程师,2007(4):60-62. 被引量：30

二级参考文献1

1邱英,何淑菊,熊省军,李志伟.正态分布随机误差的计算机辅助分析[J].实验技术与管理,2005,22(1):77-80. 被引量：3

共引文献32

1赵斯琦.基于贝塞尔法的Web性能测试工具测量不确定度分析与比对[J].中国高新科技,2023(2):106-108.
2吴德洲.动态不确定度与静态不确定度的区别和联系[J].计量与测试技术,2010,37(12):15-17. 被引量：1
3罗新荣,杨欢,李梦坤,丁振.钻孔煤屑-瓦斯-水耦合的解吸规律[J].黑龙江科技大学学报,2017,27(5):462-467.
4梁欣.航天测控设备自动化测试系统不确定度分析[J].甘肃科技纵横,2019,48(1):18-20. 被引量：4
5何欣,柳爱春,白俊慧.超高效液相色谱串联质谱检测14种喹诺酮类药物方法的不确定度评估[J].杭州农业与科技,2019,0(2):23-28. 被引量：1
6解进军,周文斌.模拟式绝缘电阻表读数引入的不确定度分析[J].工业计量,2019,29(2):55-57.
7高朋飞,朱晓瑞.电导率仪电子单元示值误差的不确定评定[J].科技创新导报,2019,16(1):79-80.
8孙晓慧.电感耦合等离子体发射光谱法测定化探样品中钴含量的不确定度评定[J].冶金与材料,2019,39(2):12-13.
9柳亚飞,李孟丽.纺织品中三氯生含量测量不确定度评定[J].纺织标准与质量,2019,0(3):49-52.
10李易晓,许菲菲,羊洁芳,沈明驹,马苏珍,楼美娟,蒋英华.高效液相色谱法测定化妆品中3种禁用着色剂的不确定度评定[J].广东化工,2019,46(17):166-168. 被引量：2

1刘建福,徐德启.并发系统的模型与验证[J].兰州大学学报（自然科学版）,1992,28(1):29-34.
2冯玉琳,赵旭东,郭端阳.并发系统的模型和自动验证[J].计算机学报,1990,13(2):107-115. 被引量：1
3蒋慧,张兴元,王元元.并发系统的操作时序逻辑描述和验证[J].计算机科学,1997,24(6):25-29. 被引量：1
4蒋昌俊,郑应平,疏松桂.并发系统建模与分析研究[J].高技术通讯,1996,6(6):21-25. 被引量：2
5刘振辉.高性能网站安全建设探讨[J].计算机安全,2012(10):45-48. 被引量：3
6顾永跟,傅育熙.基于进程演算和知识推理的安全协议形式化分析[J].计算机研究与发展,2006,43(5):953-958. 被引量：7

计算机应用研究

2000年第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部