摘要： 面向对象=对象+类+继承+通信。要在软件开发的实验中进行体验面向对象的概念。对象，类，封装，继承，消息，关联，聚合，多态性是面向对象程序设计的各种属性。统一建模是一种直观，明确，构建和文档化软件系统产物的通用可视化建模语言，常用的几种UML图有用例图，类图，顺序图，状态图等几种图种。建模如今已经成为... 阅读全文

摘要： 本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自... 阅读全文