| Métodos Formais de Programação II |
|---|---|
| [ DI/UM ] |
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  contacto.
|
| Cursos |
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.