ソフトウェアはアイデアを、実行し観測し検査できる振る舞いに結びます。インターフェース、状態変化、アクセス境界、失敗への対応もその一部です。 nageとa2では、実装と受け入れ検証を区別します。一部品が動いてもサービス全体を証明しません。実装範囲と未検証の条件をともに記述します。つながり関連する設計ソフトウェアは設計上の判断を実行可能な振る舞いにします。関連する知識nageは知識の取り込みとバージョン管理をソフトウェアのライフサイクルに結び付ける。