本文展示了如何應(yīng)用 IBM® Rational® Software Architect 中包含的 Java 轉(zhuǎn)換，來進行在設(shè)計合約管理協(xié)議（design contract management protocols）背景下的交互式開發(fā)。這些協(xié)議是專門面向在軟件開發(fā)周期內(nèi)管理設(shè)計模型與實現(xiàn)代碼之間關(guān)系的方法。