摘要： 前言 在学习过JML规格描述语言之后，本单元进行了UML(Unified Modeling Language)的学习。和JML单纯用语言描述的形式不同，UML通过可视化的图形形式，对一系列有关类的元素进行抽象化建模，帮助开发者更高效地理解大规模、复杂系统的模型，这对于理清对象之间的关系、设计对象的架 阅读全文