Descripción
Revisión de técnicas formales de especificación y descripción para sistemas distribuidos y abiertos. Técnicas de verificación. Pruebas de corrección. Verificación de propiedades generales de sistemas distribuidos. Análisis y estrategias de alivio. Técnicas de prueba. Estrategias de generación de pruebas. Arquitecturas de pruebas.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/