统一建模语言（ U M L）是一个通用的可视化建模语言，用于对软件进行描述、可视化处 理、构造和建立软件系统制品的文档。它记录了对必须构造的系统的决定和理解，可用于对 系统的理解、设计、浏览、配置、维护和信息控制。UML 适用于各种软件开发方法、软件生 命周期的各个阶段、各种应用领域以及各种开发工具，是一种总结了以往建模技术的经验并 吸收当今优秀成果的标准建模方法。U M L包括概念的语义，表示法和说明，提供了静态、动 态、系统环境及组织结构的模型。它可被交互的可视化建模工具所支持，这些工具提
This book contains enough material for three courses of study: a course on mathematics for software engineering, a course on formal speci cation, and a course on re nement. This material can be adapted in a number of ways, to support other courses o
