Nome da Disciplina
ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS
CÓDIGO
1110203
Carga Horária
68 horas
Atividade Complementar
Não
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%

Ementa

Especificação Formal. Verificação Formal: model-checking e prova de teoremas.

Objetivos

Objetivo Geral:

Apresentar a importância da especificação e verificação formal no desenvolvimento de sistemas confiáveis. Capacitar o aluno a utilizar uma linguagem de especificação formal e aplicar diferentes técnicas de verificação.

Conteúdo Programático

Introdução
• O que são métodos formais
• Importância e aplicabilidade dos métodos formais no desenvolvimento de software
• Classificação de métodos formais
• Técnicas de verificação formal
2. Especificação Formal
• Gramática de Grafos
• Ferramenta Groove
• Linguagem Event-B
• Ferramenta Rodin
• Definição e especificação de um estudo de caso
3. Verificação Formal
• Model-checking
• Prova de Teoremas
• Verificação de propriedades do estudo de caso

Bibliografia

Bibliografia Básica:

  • EHRIG,H., EHRIG, K., PRANGE, U., TAENTZER, G. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science - an EATCS Series). New York: Springer-Verlag , 2006.
  • ABRIAL, Jean-Raymond. Modeling in Event-B: System and Software Engineering. New York: Cambridge University Press, 2010.
  • CLARKE JR., Edmund M., GRUMBERG, Orna, PELED, Doron A. Model Checking. MIT Press, 2000.

Bibliografia Complementar:

  • MONIN, Jean Francois Monin. Understanding Formal Methods. New York: Springer-Verlag, 2001.
  • BAIER, Christel, KATOEN, Joost-Pieter. Principles of Model Checking (Representation and Mind Series). MIT Press, 2008.
  • SCHUMANN, Johann M. Automated Theorem Proving in Software Engineering. New York: Springer-Verlag, 2001.
  • NUNES, Daltro J. Introdução À Abstração de Dados. Bookman, 2012.
  • ROZENBERG, Grzegorz (Ed.). Handbook of Graph Grammars and Computing by Graph Transformation. Volume I. Foundations. World Scientific Publishing Co., 1997.

Turmas Ofertadas

Turma Período Vagas Matriculados Curso / Horários Professores
T1 2018 / 2 45 18 Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA10:00 - 10:50
10:50 - 11:40
LUCIANA FOSS
Professor responsável pela turma

Página gerada em 14/12/2018 01:33:42 (atualização a cada 15 minutos)