Descrição
Revisão de técnicas formais de especificação e descrição para sistemas distribuídos e abertos. Técnicas de verificação. Provas de correção. Verificação de propriedades gerais de sistemas distribuídos. Estratégias de análise e remediação. Técnicas de teste. Estratégias de geração de testes. Arquiteturas de teste.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/COMP/