Ferramentas Pessoais
Você está aqui: Página Inicial Disciplinas Disciplinas do Programa Optativas Sistemas Distribuídos e Redes CCO-121 - Especificação, Verificação, Implementação e Teste de Sistemas Distribuídos

CCO-121 - Especificação, Verificação, Implementação e Teste de Sistemas Distribuídos

Quantidade de créditos: 8
Total de horas de aulas teóricas: 60
Total de horas de aulas de exercícios, seminários ou estudos dirigidos: 60

Objetivo:

Estudo de metodologias, baseadas em Técnicas de Descrição Formal (TDFs) e Técnicas de Validação Formal (TVFs), para o desenvolvimento completo (especificação, verificação, implementação e teste) de sistemas distribuídos e protocolos de comunicação.

Ementa:

1 - Ciclo de desenvolvimento de sistemas distribuídos e protocolos de comunicação
2 - TDFs e TVFs para sistemas distribuídos e protocolos de comunicação
3 - TDFs baseadas em modelos de transição
4 - Extended State Transition Language (Estelle)
5 - Ferramentas e aplicações para Estelle
6 - TDFs baseadas em álgebras de processos e em tipos abstratos de dados
7 - Language of Temporal Ordering Specification (LOTOS)
8 - Ferramentas e aplicações para LOTOS

Bibliografia:

1 - BOCHMANN, G.V. - Distributed System Design, Springer-Verlag, 1983.
2 - MILNER, R. - Communication and Concurrency, Prentice Hall, 1989.
3 - EIHG, H., MAHR, B. - Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer-Verlag, 1985.
4 - ISO IS 9074, Information Processing Systems - Open System Interconnection - Estelle - A Formal Description Technique based on an Extended State Transition Model, 1989.
5 - ISO IS 8807, Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique based on the Temporal Ordering of Observational Behaviour
6 - Anais da International Conference on Formal Description Techniques (FORTE), promovida anualmente pelo IFIP WG 6.1
7 - Anais do Internation Symposion on Protocol Specification, Testing and Verification (PSTV), promovido anualmente pelo IFIP WG 6.1
8 - Revistas internacionais da área sobretudo as publicadas pelas sociedades IEEE e ACM.

Ações do documento