计算机语言

分类：机器语言、汇编语言、高级语言

建模语言： UML:图形化语言，是面向对象设计的建模工具，独立于任何程序设计语言

组合：生命周期相同，“同生共死” 聚合：生命周期不同，可以单独成拆开，“汽车与引擎” 泛化：空心箭头的实线表示，子类指向父类就叫泛化关系 继承：父类到子类叫继承关系

图：

五大视图

形式化语言：

z语言是一种形式化语言，它是具有“状态统一操作”风格的形式化规格说明语言。z语言建立与“集合论和数理逻辑的基础上”。具备将数学进行结构化的方式。是一种强类型系统。