摘要
讨论了微机仿真软件设计中的基本问题,阐述了中使用形式化方法进行规格说明的基本原则。
The article discussed the foundational problems and the principles of Formal Specification in the Design of the simulative software of Microcomputer system. In this paper, a significance is proposed for the mobilization of Object-Oriented method and UML.
出处
《嘉应学院学报》
2004年第3期58-60,82,共4页
Journal of Jiaying University
