【原文链接】系统架构设计师（第二版）学习笔记----计算机语言
一、计算机语言的组成
1.1 计算机语言的分类
- 机器语言
- 汇编语言
- 高级语言
- 建模语言
- 形式化语言
二、机器语言
2.1 机器语言指令信息
- 操作码
- 操作数的地址
- 操作结果的存储地址
- 下一条指令的地址
2.2 机器语言指令格式的种类
- 三地址指令
- 二地址指令
- 单地址指令
- 零地址指令
- 可变地址指令
三、汇编语言
3.1 汇编语言中语句种类
- 指令语句
- 伪指令语句
- 宏指令语句
3.2 汇编语言指令和伪指令的语句格式
- 名字
- 操作符
- 操作数
- 注释
四、高级语言
4.1 常见的高级语言
- C
- C++
- Java
- VB
- C#
- Python
- Ruby
五、建模语言
5.1 UML的组成要素
- UML的基本构造块（事务、关系）
- 图（支配基本构造块如何放在一起的规则）
- 运用于整个语言的公用机制
5.2 UML中的事务分类
- 结构事务
- 行为事务
- 分组事务
- 注释事务
5.3 UML中的结构事务种类
- 类
- 接口
- 协作
- 用例
- 主动类
- 构件
- 制品
- 结点
各种结构事务类的图形化表示如下图所示
5.4 UML中行为事务种类
- 交互
- 状态机
- 活动
5.5 UML中关系的分类
- 依赖
- 关联
- 泛化
- 实现
5.6 UML2.0中提供的图
- 类图
- 对象图
- 用例图
- 序列图
- 通信图
- 状态图
- 活动图
- 构件图
- 部署图
- 组合结构图
- 包图
- 交互概览图
- 计时图
5.7 交互图的种类
- 序列图
- 通信图
- 交互概览图
- 计时图
5.8 UML的5中视图
- 用例视图
- 逻辑视图
- 进程视图
- 实现视图
- 部署视图
六、形式化语言
6.1 形式化规格说明语言的种类
- 公里方法，利用前置条件和后置条件描述程序的行为
- 基于集合论和一阶谓词演算的meta-IV语言和Z语言
- 代数规格说明，是关于抽象数据类型的代数描述，语言有OBJ和ACT
- 进程描述语言，用于描述开发进程的行为
6.2 形式化方法基于描述方式的分类
- 模型描述的形式化方法
- 性质描述的形式化方法
6.3 形式化方法基于表达能力的分类
- 模型方法
- 代数方法
- 进程代数方法
- 逻辑方法
- 网络模型方法
6.4 形式化方法的开发过程
- 可行性分析
- 需求分析
- 体系结构分析
- 详细设计
- 编码
- 测试发布