摘要：
模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、... 阅读全文
摘要：
软件需求通常可以划分为：业务需求，用户需求，系统需求，功能需求，非功能需求等，并且他们之间存在一定的联系。需求工程的所有过程，包括需求获取，需求分析，需求规格说明，需求验证和需求管理等。常见的需求获取技术包括面谈和问卷调查、需求专题讨论会、观察用户工作流程、基于用例的方法、原型化方法等，而选择这些技... 阅读全文
摘要：
软件项目特征：软件产品的不可见性；项目的高度不确定性；软件过程的多变化性；软件人员的高流动性。有效的软件管理集中于：人员；产品；过程；项目。软件项目的生命周期：项目启动；项目规划；项目实施；项目收尾在大多数软件项目中，民主式、主程序员式、技术管理式是三种典型的开发组织方式。 微软公司采取灵活高效的... 阅读全文