MÉTODOS DE ESPECIFICAÇÃO FORMAL

Carga Horária: 60 horas-aula

Ementa:

• Aplicações de métodos formais para a especificação de software de alta complexidade.
  
• Fundamentação teórica e Lambda-Cálculus.
  
• Principais métodos de especificação de propósito geral.
  
• Principais métodos para especificação de sistemas concorrentes, paralelos e distribuídos.
  
• Estudos de caso.

Bibliografia:

COHEN, B.; HARWOOD, W.T.; JACKSON, M.I. The Specification of Complex Systems. Addison-Wesley, 1986.
MENDES, S. AGUIAR, T.C. Métodos para Especificação de Sistemas. São Paulo: Edgard Blücher, 1989.
ISO-Information Processing Systems-Open Systems Interconnection. LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, DIS 8807,1987.
Artigos de periódicos e anais de congressos