在设计阶段,将集中研究系统的软件实现问题,包括体系结构设计、详细设计、用户界面设计和数据库设计等。与分析一样,设计也是一个建模的活动,它在分析模型的基础上完成在实现环境的类建模、状态图建模、协作建模、组件建模、部署建模、持久建模和用户界面原型,实现从需求分析到软件实现之间的跨越。通常,设计活动划分为... Read More
面向对象的分析模型由三个独立的模型组成:(1)功能模型:由用例和场景表示;(2)分析对象模型:由类图和对象图表示;(3)动态模型:由状态图和顺序图表示。在分析对象模型中,分析类是概念层次上的内容,用来描述系统中较高层次的对象。从软件的功能需求来看,分析类可以划分成实体类、边界类和控制类3种类型。(1... Read More
面向对象技术(Object Oriented Technology)是软件工程领域中的重要技术。面向对象技术不仅仅是一种程序设计方法,更是一种对真实世界的抽象思维方式。面向对象方法认为:客观世界是有对象组成的,任何客观的事物或实体都是对象,复杂的对象可以由简单的对象组成;具有相同数据和相同操作的对象... Read More
从广义上讲,形式化方法(Formal Method)是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的主要目的是保证软件的正确性。软件开... Read More