逃学威龙

摘要： 老师推荐了这本书读起来收获很大，这里分享一下自己的感悟。首先我感到软件工程领域是个新的领域，发展的前景很广，对社会的影响也深渊，本书人月神话作者从自己的经历实践中阐述了自己的观点，从作者对自己的经历的自述中我发现作者也并非一路平坦有过成功有过失败但总的算是成功，“过去几十年的大型系统开发就犹如这样一... 阅读全文

摘要： 本章主要介绍了软件演化软件的问题修正与适应性改进,特性软件维护是一个必然的过程。软件的不断修改会导致软件的退化。软件系统的演化特性是在早期的开发阶段建立起来的软件开发的效率与投入的资源无关。新功能的加入需要不断修补。软件维护，指在软件维护阶段对软件产品所进行的修改。类型：改正性维护适应性、维护完善性... 阅读全文

摘要： 本章主要介绍了软件测试的验证（是为了证明软件在生命各个时期的逻辑协调性、完整性、正确性）与确认（目的：保证软件产品能符合其描述要求）（软件的错误、验证与确认、v&v活动）软件测试（软件测试是软件质量保证的一项关键活动。通过对需求规格说明、软件设计说明和程序代码等进行复审、以保证在软件交付时、尽可能发... 阅读全文

摘要： 本章主要介绍了程序设计语言（c++、Smalltalk、java、c#等面向对象语言使开发员可以自然的实现由面向对象分析和设计产生的模型，LISP和Prolog是人工智能领域中知识表示和专家系统的语言：APL是为数组和向量运算设计的简洁而且功能强大的语言；FORTH是专门为开发微处理器而设计的语言）... 阅读全文

摘要： 本章主要介绍了分析的概念包括分析活动（需求分析的重点在于理解系统本身。 将需求获取阶段产生的用例和场景转换成分析模型。）、分析类（用于描述系统中较高层次的对象）、边界类（一个参与者与一个用例之间的交互或通信关联对应一个边界类）、控制类（控制类负责协调边界类和实体类，通常在现实世界中没有对应，的事物，... 阅读全文

摘要： 本章主要介绍了面向对象设计的概念包括设计活动（目的：实现类建模、协作建模、组件建模、部署建模、持久建模和用户界面原型）、设计原则（模块化、耦合度和內聚性、复用性）软件体系结构的仓库体系结构，分层体系结构MVC体系结构、客户软件设计体系结构（涉及权力系统的总体组织、全局控制、数据存取以及子系统之间的通... 阅读全文

摘要： 本章主要介绍了面向对象方法概述（面向对象=对象+类+继承+通信）包括面向对象技术的发展历史、面向对象的软件工程的方法，面向对象基本概念的对象、类、封装、继承、消息、关联、聚合、多态性，软件建模概念的系统，模型和视图、软件建模的重要性，统一建模语言UML的发展史UML概念建模的图（系统中每一个视图的内... 阅读全文

摘要： 本章主要介绍了形式化方法的基本概念包括形式规约（即软件规格说明，是软件系对象作用的方法，自己对象行为的描述）形式证明与验证（技术包括：检测，定理定理证明），程序求精，逻辑时态的一阶线性时态逻辑、计算树逻辑。模型检测临就是在Kripk模型下，对以CTL*公式给出的软件性质得正确性验证、计算树逻辑。模型... 阅读全文