Yazılım bir fikri çalıştırılabilen, gözlenebilen ve denetlenebilen davranışa bağlar. Arayüzler, durum değişimleri, erişim sınırları ve hata yönetimi bu davranışın parçalarıdır.
nage ve a2’de uygulama ile kabul ayrı tutulur: bir bileşenin çalışması bütün hizmeti veya iş akışını kanıtlamaz. Yararlı bir anlatım, uygulanmış kapsamın yanında henüz doğrulanmamış koşulları da belirtir.
Bağlantıları
Tasarım
Yazılım, tasarım kararlarını yürütülebilir davranışa taşır.