摘要： 形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保证软件的正确性。软件开发实际上就是把现实世界的需求映射成软件额模型化... 阅读全文

摘要： 通过阅读了需求工程，我想最主要思考的问题是怎么做与做什么。即what与how的转化。通过阅读文章与别人的博客，我觉得这几个字说的十分好即:发掘需求、限制需求、引导需求、控制需求. 通过业务需求，用户需求，功能与非公能需求，通过过程，利用技术最终做出自己所需要的技术。 在这里书本里面的小型图书资料管... 阅读全文

摘要： 软件项目管理具有相当的特殊性与复杂性，它对软件开发具有决定性的意义。 第一节里： 软件项目的特征：1.软件产品的不可见性；2.项目的高度不确定性；3.软件过程的多变化性；4.软件人员的高流动性。 软件项目管理的“4P”：人员（People）、产品（Product）、过程（Process）和项目（Pr... 阅读全文

摘要： 在软件过程里面，从前言里面我们知道绝大多数软件企业长期面临许多质量，进度，成本的问题，所以产生了人物思维与过程思维两种方式，现在我们对其有了一个定义：软件过程为一个为建造高质量软件所需完成的任务的框架，即形成软件产品的一系列步骤，包括中间产品、资源、角色及过程中采取的方法、工具等范畴。它的基本活动是... 阅读全文

摘要： 第1章概括介绍软件工程的历史发展和基本原理，讨论IEEE和ACM最新提出的软件工程知识体系和软件工程职业道德规范。在第一节里我们把软件分为了通用软件与定制软件两种，随后我们了解了软件的特性知道它是复杂的，不可见的，变化及定制的。然后了解了软件的发展与危机。 在第二节里，我们知道了软件工程的两种概念... 阅读全文