形式化软件规范技术
出处
《计算机科学》
CSCD
北大核心
1990年第6期21-30,共10页
Computer Science
-
1顾冠群,汪芸.分布对象计算研究[J].中国金融电脑,1997,0(8):6-8.
-
2赵俊娟.实时系统形式化描述和自动验证[J].国外科技新书评介,2010(1):1-2.
-
3李彤,王黎霞,柳青,孔兵.形式化软件功能分解的交互式规则[J].计算机工程与应用,2000,36(7):44-46. 被引量：1
-
4张连滨.基于计算机资源库的安全系统设计研究[J].赤峰学院学报（自然科学版）,2017,33(7):16-17. 被引量：1
-
5马斌,陈俊杰.XKMS在电子病历安全系统中的应用与研究[J].电脑开发与应用,2010,23(1):66-67. 被引量：2
-
6姚栋义.基于事件和信息的应用系统的开发方法学[J].青岛大学学报（自然科学版）,1996,9(1):47-54. 被引量：1
-
7陈建孝,李永丽,姜占华,关伟洲.基于CORBA分布式体系结构的合同管理系统[J].吉林大学学报（信息科学版）,2007,25(3):348-352.
-
8张红庆.ATM上的多协议规范技术与实现[J].湖北邮电技术,1999(4):23-25.
-
9邢小英,王维维.两次数据精化的形式化软件开发方法[J].计算机工程,2006,32(1):102-104. 被引量：3
-
10王昌晶,罗海梅,左正康.基于问题模式的形式化软件规格说明生成方法[J].计算机研究与发展,2013,50(2):352-360. 被引量：5
;
