摘要
讨论了微机仿真软件开发中的若干基本问题,论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用.重点论述了微机仿真系统中采用形式化方法进行需求描述的特点和关键问题,并在系统状态分析的基础上,提出了相关解决方案.
The article discussed the fundational problems and the principles of Formal Specification in the design of the simulative software of Microcomputer system, and analyzed the basic principle of specification, the approach to object orientation and application of UML. The paper discussed the features and key proplems of requirements description on simulative software of Microcomputer system requirements, and put forward solutions based on status of simulative Microcomputer system.
出处
《湖北民族学院学报（自然科学版）》
CAS
2004年第2期80-82,共3页
Journal of Hubei Minzu University(Natural Science Edition)
基金
广东省自然科学基金(010059)
广东省高校自然科学研究项目基金资助(Z03024)
关键词
规格说明
面向对象
仿真
specification
object - oriented
simulate
