説明
分散およびオープンシステムの形式的仕様および記述技法のレビュー。検証技法。正しさの証明。分散システムの一般的性質の検証。解析と緩和戦略。テスト技法。テスト生成戦略。テストアーキテクチャ。
原語による参照テキスト
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.
出典と参照
日付と出典は、情報を確認する際の参考のために保持されています。翻訳は読みやすくするための提案であり、条件や要件については公式の出典が基準となります。
出典の参照 : https://calendar.carleton.ca/grad/courses/COMP/