Açıklama
Dağıtık ve açık sistemler için formal belirtim ve betimleme tekniklerinin gözden geçirilmesi. Doğrulama teknikleri. Doğruluk kanıtları. Dağıtık sistemlerin genel özelliklerinin doğrulanması. Analiz ve hafifletme stratejileri. Test teknikleri. Test üretme stratejileri. Test mimarileri.
Kaynak metin orijinal dilinde
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/grad/courses/COMP/