本文请配合大纲食用最近很多同学都在吐槽一门课：软件构造。

目标规约，前置后置条件，欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较规约作用给自己和别人写出设计决策：如final、数据类型定义作为契约，服务端与客户端达成一致调用方法时双方都要遵守便于定位错误解耦，无需告诉客户端具体实现，变化也无需通知客户端，扮演防

软件视角Views三维度八视图Code-level:代码逻辑，函数、方法、类等component-level：物理组织，包，库，文件等Moment：某一时刻Period：某一段时间的变化Build，Code，Moment一段具体代码实现，也可用AST，或者类图。用它们表示一段代码Build，Code，Period一段代码的变化（Git追踪）Build，Component，M