检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《湖北民族学院学报(自然科学版)》2004年第2期80-82,共3页Journal of Hubei Minzu University(Natural Science Edition)
基 金:广东省自然科学基金(010059);广东省高校自然科学研究项目基金资助(Z03024)
摘 要:讨论了微机仿真软件开发中的若干基本问题,论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和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.
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28