摘要：第二篇：知识篇 知识从实践中来的，是一种被证明了正确的抽象。对一个事物描述的信息能成为知识必须满足三个条件：（1）它一定是被验证过的；（2）正确的；（3）被人们相信的。知识来源于实践又作用于实践。知识可以使人们的实践活动由无序到有序、由混沌到清晰、由低效到高效。知识是识得的前提，在知识体系的建立中，... 阅读全文

摘要：通过序言我可以了解到：软件需求是软件项目和产品开发的起点，更是用户和开发团队之间沟通的基础。理论上说，获取的需求足够完整、正确，特别是形式化可验证的情况下，采用程序变换、模型变换等技术可以开发出高质量的软件，但是那么确定的需求在实际上很难获得。 “什么是软件需求？”、“怎么进行软件需求分析？”... 阅读全文

摘要：第四部分 需求的文档化和验证 在一个复杂软件系统的开发中，编写规格说明文档的必要性是显而易见的：一方面，清晰明确、结构化的文档可以将软件系统的需求信息和解决方案更好的传递给所有的开发者。另一方面文档可以扩展人们的知识记忆能力。规格说明文档也有很多中类型，他们也各有不同之处：名称、内容、内容的组织方式... 阅读全文