【摘 要】
：
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持.UML作为新一代面向对象建模语言得到了广泛的支持,已经成为事实上的工业标准.UML图形是模型元素集合的可视
【机 构】
：
扬州大学,信息工程学院,江苏,扬州,225009
论文部分内容阅读
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持.UML作为新一代面向对象建模语言得到了广泛的支持,已经成为事实上的工业标准.UML图形是模型元素集合的可视化表示,类图表达了面向对象系统分析中的最基本元素--类和类之间联系,而类之间的依赖关系是类之间联系中的最重要、最普遍的一种联系.本文旨之讨论如何让用B方法来描述UML类图,从而能提高软件开发的效率、降低成本,也能改善软件工程的质量.
其他文献
作为新时代的教师，我们要转变观念，打破传统模式，信任每一个学生的能力，帮助每一个学生的成长，呵护每一个学生的心灵，挖掘每一个学生的创造力。坚持民主，充分调动学生参与教学的主动
本文建立了以QuEChERS为前处理,利用液质联用质谱检测莴笋和油麦菜中灭蝇胺残留的分析方法.在0.05～20 mg/kg添加水平下,灭蝇胺在莴笋和油麦菜中的平均回收率为90％～104％,相对标准
在50年代,牢骚被看作落后消极的伴生物。共产党员只有去做消除牢骚的工作而极少自己发牢骚的。到了60、70年代,往往把牢骚同“反党”行为联系在一起,党内即使有不满与烦恼,
中风是中医病名,分为外风和内风,其又被称之为脑卒中,当患者发病时会出现不省人事以及口眼歪斜的症状,同时也会导致患者半身不遂以及口齿不清.中风患者的发病率极高,导致病死
摘 要： 电子档案保护技术的对象是电子档案的载体及其记载的档案信息，本文对电子档案的保护技术进行了研究。 关键词： 电子档案 保障技术 保管技术 修复技术 传输技术 当今世界正走向信息社会，面对飞速发展的网络，面对日新月异的电子计算机技术，档案工作急需解决的问题是如何迎接电子文件带来的挑战，如何保护电子档案的真实完整，如何有效地保存二十一世纪的社会记忆。 电子档案同纸质档案相比较，其物质
人类社会在不断地进步发展，在推行素质教育和创新教育的今天，新课程改革要求教师在教学中进行角色转变，高度重视学生的主体地位，充分发挥学生在教学中的主观能动性。因此，体育教师在课堂教学中一定要让学生生动活泼、积极主动地得到发展，充分发挥学生的主体性。 1.给学生创造一个广阔的学习空间，充分发挥学生的主体性 为了更好地发挥学生的主体性，在体育教学中，教授运动技能的同时，教师要留给学生更多的练
AIM To explore expression of angiopoietin-like protein 2(ANGpT L2) and its effect on biological behavior such as proliferation and invasiveness in gastric cance
交际法教学理论要求语言教学者在教学实践中强调语言的社会交际功能和使用功能，这就要求教师在教学思想和实践上都进行相应转变。因此，在教学过程实施交际法教学，强调语用能力培
摘 要： 企业信息化是国家信息化的主体和骨干支撑力量，没有企业信息化，就谈不上国家信息化。企业领导的支持和参与是开发企业信息化成功的关键。这一条已被所有的经验和教训所证实，在我国企业推广应用ERP的过程中也证实了这一点。 关键词： 企业 信息化 成功关键因素 1.引言 在网络经济时代，企业要适应全球化激烈的市场竞争，主动地对市场做出快速响应，赢得市场竞争的主动权，就必须加快企业信息化
有专家认为:肺气肿并非是一种疾病,而是一种病理诊断.民间将肺气肿概述为吸烟人的疾病,是因为肺充气过度而引发的一种病理状态.其中依据世界卫生组织的调查得知,肺气肿是一种