Springer-Verlag授权清华大学出版社的中译版。2010版。本卷是有关软件工程原则与技术的3卷教材中的第3卷。通过这3卷书我们寅称我们腱示了形式技术（也被称之为形式方法）足如何可以在大规模开发项日巾得以最大限度地使用。我们进一步提出：我们现在可以有理由宜称不再有任何借不在开发的所有时期、阶段与步骤巾使用形式技术。通常给出这样的借口是由于缺少在超大规模软件开发中使用形式技术的全面指南。这里就是十分详细地告诉你如何米做其中绝大多数事情的一套丛书！当然，不是所有开发刻面现今都被详细说明到我们本希望可使用形式技术的层次。但是抑制使用现有的形式技术一一在我们或许不是那么谦逊的看法来看一完全足犯罪！正如这几卷以及许多现有的优秀的专著所