摘要： 贯彻执行 6.1 即使是大型的设计团队，设计结果也必须由一个或两个人来完成，以确保这些决定一致。 6.2 必须明确定义体系结构中与先前定义不同的地方，重新定义的详细程度应该与原先的说明一致。 6.3 出于精确性的考虑，我们需要形式化设计定义，也需要记叙性定义来加深理解。 6.4 必须采用形式化定义和 阅读全文