U.Minho Métodos Formais de Programação II
[ DI/UM ]

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

 Novo  A edição de 2007/08 desta disciplina resume-se à realização do exame de recurso, a anunciar aqui em tempo oportuno. Eventuais dúvidas serão esclarecidas a partir do seguinte tinynew.gifcontacto.

  Cursos

7008N2
Licenciatura em Matemática e Ciências da Computação, 4.º ano
5308P3
Licenciatura em Engenharia de Sistemas e Informática, 4.º ano (Opção II)

  Informações Gerais

  Resultados da Aprendizagem

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

Esta disciplina pretende transportar, para laboratório, a bagagem em Métodos Formais adquirida na cadeira MFP-I, que a precede. No plano teórico, estuda-se como calcular programas (e.g. em C/C++, SQL, etc.) a partir das respectivas especificações formais.

No plano prático (e através de um trabalho laboratorial de grupo) os alunos desenvolvem um protótipo em VDM-SL/VDM++ de uma especificação formal realista, com arquitectura cliente-servidor, parte do qual é calculado e implementado numa plataforma de desenvolvimento à escolha dos alunos. Usam-se as VDMTOOLS © para esse efeito.

Trata-se de uma oportunidade para ligar a teoria à prática e ao desenvolvimento de aplicações usando linguagens, ferramentas ou ambientes como XML, ORACLE, SQL (e.g. mSQL (Mini SQL), SQLSERVER), QT, X-Windows, etc.

  Funcionamento da Disciplina

A informação detalhada sobre esta disciplina (incluindo avisos e sumários) encontra-se organizada por anos lectivos, conforme se pode procurar no índice (topo desta URL).


Outras disciplinas leccionadas pelo DIUM


J. Nuno Oliveira 2008-06-17