软件模型分析_笔记

real world→具体的一种machine→solution→ 工程
real world→通用的machine平台→有限的指令（计算机理论证明，只要具备几种指令就可以表示所有的逻辑关系）

软件的定义：程序＋文档＋数据
                        工具
                        知识的载体

纯工具软件：功能复杂性－我们希望他能完成更多功能
（专业）        使用的高效性
                        技术的先进性－创新

纯工具软件：功能的有用性－能完成工作
（应用型）    使用的方便性－不追求高效
                        技术的可行性－能编出来就好

课程的核心 应用型软件 ：功能的模拟性－与现实相符
                                                同上
                                                同上

一下一般针对应用型软件而言

在软件设计时，遇到了解现实世界的问题，不是靠用户口述就能解决。

现实世界 →复杂:1 包含大量关联任务 2 对任一事务不能完全描述（考古学家，哲学家，商人各有个的角度）
               →事物非形式化的描述－非形式化指数学语言

计算世界

软件模型：事物，属性，定义的抽象集合。
课程中的软件建模，指的是建立分析模型。

抽象的解释：把不相关的部分去掉，保留解决问题所需的最小部分，就叫抽象。

模拟软件的3个世界

非形式化语言：自然语言
半形式化语言：图形UML，伪码，表格
形式化语言：谓词演化，一阶逻辑

需求的历史变更
机器中心（充分利用机器，50's）→应用中心(单一应用，60's)→企业中心（复合信息处理，90's）

这门课给我的初步印象就是教你怎么获取软件的需求分析。因为现在越来越多的行业需要软件，而且用户期望软件能提供更多的功能，包括把一些庞大的应用用软件解决。因此需求的工作量急剧扩大。使原属软件工程一部分的需求分析，独立成一项工程。