Especificação formal de software
Social
Disciplinas
Wiki
Ajuda
◄
Atividade anterior
Fórum de notícias
Visão Crítica do Artigo "Seven Myths of Formal Methods"
Especificação de Propriedades em CTL
CTL dos Filosofos
Linguagem Alloy
Definição de temas para Artigo e Seminário
Arquivos Alloy
Fontes do Model Checker
Descrição do Artigo a ser Entregue
Indicar disponibilidade de horarios para apresenta...
Seguir para...
Artigo
Próxima atividade
►
Moodle antigo do Stoa
Você está aqui
Moodle antigo do Stoa
/
►
ICMC
/
►
SSC
/
►
SSC5793
O seminário é individual
O tema do seminário é o mesmo do artigo
Caso prefira alterar o tema, por favor, informe com antecedência
O seminário terá duração de 40 minutos
Última atualização: terça, 25 outubro 2011, 16:31