Description
Revue des techniques formelles de spécification et de description pour systèmes distribués et ouverts. Techniques de vérification. Preuves de correction. Vérification de propriétés générales des systèmes distribués. Analyse et stratégies d’atténuation. Techniques de test. Stratégies de génération de tests. Architectures de tests.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/COMP/