论文部分内容阅读
UML建模方法是应用一系列的图形直观的表示系统对象及其行为关系。而SOFL关注的是如何规范地描述系统功能的实现，尽可能准确的满足客户需求。本文研究的是，应用UML模型来描述系统功能及结构，而后应用SOFL规范语言进行形式化描述。并配以一个实例进行说明。
UML模型向SOFL规范的转换
【摘 要】
：
UML建模方法是应用一系列的图形直观的表示系统对象及其行为关系。而SOFL关注的是如何规范地描述系统功能的实现，尽可能准确的满足客户需求。本文研究的是，应用UML模型来描述系
【机 构】
：
西安工程大学,陕西西安 710048
【出 处】
：
第一届研究生IT创新学术论坛
【发表日期】
：
2008年期
其他文献
本论文论述了软件三层架构的设计思想，深入探讨了三层架构思想在软件设计中的重要性和必要性。并运用三层架构的思想开发了国有企业党建信息化系统，运用分层的思想来构建软件系
信息技术与课程整合是信息技术教育应用研究的重点与热点。本文采用内容分析法对信息技术与课程整合的研究与实践现状进行了归纳分析，并针对研究与实践中出现的问题阐述了自己
实施碘盐防治是消除碘缺乏危害最根本的措施,我市从1995年底起基本实现全民食用碘盐。为了给碘盐的加工和储存提供科学依据,作者于1996年5月～1997军8同对碘酸钾碘盐（以下简称碘
本文在介绍流媒体服务器RED5的过程中，使用面向方面和上下文环境的分析方法，对流媒体交互过程中动态因素的处理进行了详细的阐述，构建出了可供测试的架构。在此基础上，设计出一套
会议
随着终身学习理念的普遍深入、信息技术水平的迅猛发展、人们对学习效率最大化的不断追求，一种较好地融合了正式与非正式学习的更高层次的学习模式-1：1数字学习必将成为E-Leami
会议
文章从技术应用角度研究了Windows Mobile操作平台的智能手机输入技术的总体设计思想，并讨论了输入法所涉及到的具体实现问题。具体提出了一种基于Windows Mobile 6．0系统的智
会议