论文部分内容阅读
本文以在线考试系统的用例模型为主要研究对象,对用例模型描述系统中存在语义模糊等问题进行研究,针对这些存在的问题,提出能够解决其问题的形式化B方法。
软件用例模型形式化方法研究
【摘 要】
：
本文以在线考试系统的用例模型为主要研究对象,对用例模型描述系统中存在语义模糊等问题进行研究,针对这些存在的问题,提出能够解决其问题的形式化B方法。
【机 构】
：
长春建筑学院;
【出 处】
：
中国新通信
【发表日期】
：
2004年期
其他文献
会展工作内容主要包括会展服务、会展营销、会展调研、会展策划、会展流程管理、展览运输、展览广告设计等六个部分。会展工作结构具有典型的顺序性、层次性和综合性。按照会
街道作为重要的城市空间在城市设计层面受到广泛关注,在研究层面利用新技术在大城市展开的街道研究较多,但小城市的研究和实践普遍较少。本文探索了新技术在小城市街道实践中
随着社会的发展以及时代的进步,我们国家近几年的经济水平有了很大程度的提升,在经济快速发展背景之下,人们的基础物质需求得到了极大的满足。这一点从现阶段人们的出行过程
在现代展示空间设计中,设计师越来越强调灯光设计的使用。在某个展台上,利用不同色彩或不同造型的灯,往往会给大众带来不一样的视觉效果和心理感受,有鉴于此,设计师必须根据
本文基于自身对地方广播电视台时政新闻的调研总结,通过分析我国当前情况下地方广播电视台时政新闻播报现状,进而提出相应对策,以期进一步提升我国地方广播电视台时政新闻播
幼儿体育游戏,是一种更适应幼儿的天性与年龄特征的幼儿体育启蒙教育方式、思想或者理念。开展幼儿体育游戏,必须选择"多种器官共同作用与完成的身体活动游戏,趣味性、模仿性
达斡尔族是我国少数民族人口较少的民族,其传统音乐有大量反映民族生活、劳动、爱情等方面的歌曲,本文首先对这类歌曲分类中存在的问题进行了探讨。其次对这类歌曲在达斡尔族
现阶段建筑业农民工培训存在农民工主动性不强,用工单位积极性不高,政府主导培训模式有待改进等问题。可采取实行就业准入制度,推行职业资格证书制度,实施农民工实名制卡,加
采用黏结界面单元对推进剂的界面脱黏过程进行模拟,通过分析发现,由于推进剂内各组分的材料属性不同,受载条件下推进剂的应力应变分布很不均匀,基体变形大,颗粒变形小。推进