无厘头的脑子

摘要： 软件工程中的形式化方法，软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。形式证明与实验技术主要包括模型检测和定理证明。程序求精是将自动推理和形式化方法相结合，从抽象的形式规约推演出具体的面向计算机的程序代码的全... 阅读全文

摘要： 需求工程：需求涵盖了用户角度和开发人员角度两个方面，其关键在于需求一定要文档化。业务需求定义了软件产品的发展方向、功能范围、目标客户、和价值来源。用户需求只涉及系统的外部行为而不涉及内部特性。功能需求涉及用户或外部系统与该系统之间的交互，一般不考虑实现的细节。非功能需求是从各个角度对系统的束缚和限制... 阅读全文

摘要： 软件过程任务思维开发模式：用户需求→过程→产品。软件需求必须在开发初期完全确定下来用户的交互只能发生在确定需求之时和产品发布之后。过程思维开发模式：开发过程被划分成若干可管理的开发阶段人们可以听到过程的声音让过程的声音与用户的声音吻合。软件过程是软件工作人员为了获得软件产品而在软件工具的支持下实施的... 阅读全文

摘要： 软件项目管理特征：不可见性，不确定性，多变化性，高流动性。降低复杂性和控制变化成为软件项目管理面临的关键问题。有效的软件项目管理集中在人员，产品，过程，项目。软项目管理活动：项目启动、规划、实施、收尾。项目组织：民主式组织结构，主程序员式住址结构，技术管理式组织结构。成员数量应该在3-7人。沟通方式... 阅读全文

摘要： 软件遍布这个世界，对这个社会的经济和文化产生了深远的影响。如何以经济有效的方法开发高质量的软件是人们长期以来一直努力研究的问题。而软件工程就是为了解决开发成本效益和软件质量的问题产生的。软件是复杂的，不可见的，是不断变化的。没有任何变化的软件一定是没有用的。软件工程包括两个主要内容：.软件工程是工程... 阅读全文

摘要： 《人月神话》是软件工程方面的一本经典著作，作者布鲁克斯（Frederick P. Brooks）被誉为“IBM System/360之父”，他曾是这一系统的项目经理，后来在设计期任360操作系统的项目经理。由于这一工作，他与Bob Evans和Erich Bloch 1985年曾获美国国家技术奖。B... 阅读全文

摘要： 今天，软件遍布这个世界，对这个社会的经济和文化产生了深远的影响。如何以经济有效的方法开发高质量的软件是人们长期以来一直努力研究的问题。而软件工程就是为了解决开发成本效益和软件质量的问题产生的。一．软件：软件的特性（1） 软件是复杂的。（2）软件是不可见的。（3）软件是不断变化的。没有任何变化的软件一... 阅读全文