Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Tópicos

Avisos

22/07/2009: Disponíveis notas da época de recurso.

07/05/2009: Disponível enunciado do projecto prático.

06/03/2009: Já disponível o guião da primeira aula prática (aqui).

Análise, Modelação e Teste de Software

MFES - Mestrado de Informática

13/11/2008

"Design by Contract and Java Modeling Language": apresentação do conceito e clausulas básicas do JML (requires, ensures, invariant). Universo de ferramentas para JML. Características do ESC/Java2 e da verificação de asserções em tempo de execução (jmlc/jmlrac).

Teórico-prática: exercício de utilização do plugin Eclipse do ESC/Java2 (análise estática simples).

20/11/2008

"JML - beyond the basics": especificação de casos multiplos e de comportamento excepcional; invariantes de ciclo; frame-confitions; dificuldades com aliasing de referências.

Teórico-prática: exercício de modelação em JML.

27/11/2008

"Abstract modeling in JML": herança de especificações; datagroups e abstracção; campos "ghost" e "model"; tipos abstractos para modelação.

Teórica-prática: acompanhamento do projecto JML.

04/12/2008

"Unit Testing and JmlUnit": objectivos e características dos testes unitários; utilização do JUnit; integração com verificação de asserções JML e ferramenta JML-Unit.

Teórica-prática: acompanhamento do projecto JML.

r3 - 05 Dec 2008 - 23:17:24 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM