| 微机仿真系统中形式化方法的应用 |
| |
| 引用本文： | 何优选,陈生庆.微机仿真系统中形式化方法的应用[J].韶关学院学报,2004,25(9):22-26. |
| |
| 作者姓名： | 何优选 陈生庆 |
| |
| 作者单位： | 嘉应学院,设备与实验室管理处,广东,梅州,514015 |
| |
| 摘 要： | Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．
|
| 关 键 词： | 规格说明 Z模式 仿真 |
| 文章编号： | 1007-5348(2004)09-0022-05 |
| 修稿时间： | 2004年7月7日 |
An Application of Formal Method in Microcomputer Simulative Software |
| |
| HE You-xuan,CHEN Sheng-qing.An Application of Formal Method in Microcomputer Simulative Software[J].Journal of Shaoguan University(Social Science Edition),2004,25(9):22-26. |
| |
| Authors: | HE You-xuan CHEN Sheng-qing |
| |
| Abstract: | |
| |
| Keywords: | specification Z schema simulate |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
