软件形式描述与软件开发
出处
《中国计算机用户》
1989年第2期8-9,6,共3页
China Computer Users
-
1李腊元.局部网络通信协议形式描述的新混合模型[J].武汉水运工程学院学报,1989,13(3):54-61.
-
2石柱.软件移植工具:形式描述及实例研究[J].计算机工程与设计,1990,11(5):3-9. 被引量：1
-
3刘小春.网络安全性——没有简单的答案[J].通讯产品世界,1995(10):67-67.
-
4王冠,单福源.服务器平台虚拟可信框架关键技术研究[J].计算机安全,2014(12):10-12.
-
5徐燕翔,张金昌.面向对象的数据模型ODMDBD的形式描述[J].武汉水运工程学院学报,1991,15(3):332-339.
-
6过敏意.从规格说明到程序:逐步求精的形式描述[J].计算机研究与发展,1991,28(3):23-28.
-
7李毅.端系统网络层流量控制的一种实现及其形式描述[J].数据通信,1989(3):49-57.
-
8李腊元.通信协议形式描述的一种混合模型研究[J].计算机工程与设计,1989,10(1):30-38.
-
9李腊元.基于FSM的通信协议形式描述与验证技术[J].系统工程与电子技术,1990,12(9):40-47. 被引量：2
-
10李印,孙海滨,于金华.安卓手机数据结构演示软件开发技术[J].电脑知识与技术,2014(4):2248-2252. 被引量：1
;
