DIxxx - Métodos Formais para Desenvolvimento de Software

Carga: 4 créditos (60 horas)                                          Departamento: Informática

Pré requisitos: CA1 e T16

Ementa: Introdução ao desenvolvimento formal de software. Classes de métodos formais. Introdução a uma linguagem de especificação formal. Refinamento de especificações formais. Aplicações práticas de especificações formais.

Referências:

  1. Woodcock J. C. P. Using Standard Z: Specification, Refinement and Proof. Prentice Hall, 1995 (Livro Texto);
  2. Potter, B.; Sinclair, J. e Till, D. An Introduction to Formal Specification and Z. Prentice Hall, 1991.