Métodos Formais de Programação I
[ DI/UM ]

[ Cursos | Informações Gerais | Resultados da Aprendizagem | Funcionamento da Disciplina |
MFP-I (07/08)
MFP-I (06/07) | MFP-I (05/06) | MFP-I (04/05)
MFP-I (03/04) | MFP-I (02/03) | MFP-I (01/02) | MFP-I (00/01) | MFP-I (99/00)
MFP-I (98/99) | MFP-I (97/98) | MFP-I (96/97) | MFP-I (95/96) ]

  Cursos

7007N2 - Licenciatura em Matemática e Ciências da Computação, 4.º ano

5307P6 - Licenciatura em Engenharia de Sistemas e Informática, 4.º ano (Opção I)

  Informações Gerais

• Regência: J.N. Oliveira
• Departamento: Departamento de Informática
• Escola: Engenharia
• Regime: 1.º semestre
• Escolaridade semanal: 2-0-2-0 (2 horas teóricas + 2 horas teórico-práticas)

  Resultados da Aprendizagem

«Quien sabe por Algebra, sabe scientificamente.»
Pedro Nunes (1502-1578) in libro de algebra, 1567, fol 270v.

Introdução ao ciclo de vida do desenvolvimento de sistemas de software baseado em Métodos Formais, com ênfase para as técnicas de especificação baseadas em modelos da matemática discreta. Trata-se de uma evolução da disciplina de Métodos de Programação I (2.º ano) na direcção da modelação de problemas mais complexos e da utilização de ambientes de desenvolvimento formal como, por exemplo, as VDMTOOLS ©.

Os alunos deverão ficar aptos a construir a especificação formal de um sistema, e preparados para abordar as fases de prototipagem rápida e cálculo de implementações, que serão abordados em Métodos Formais de Programação II.

  Funcionamento da Disciplina

A informação detalhada sobre esta disciplina (incluindo avisos e sumários) encontra-se organizada por anos lectivos, conforme se segue:

MFP-I (07/08)

MFP-I (06/07)

MFP-I (05/06)

MFP-I (04/05)

MFP-I (03/04)

MFP-I (02/03)

MFP-I (01/02)

MFP-I (00/01)

MFP-I (99/00)

Outras disciplinas leccionadas pelo DIUM