Já publiquei as notas do exame de recurso. Vejam o pdf respectivo no material de apoio.

Já publiquei as notas da segunda chamada. Vejam o pdf respectivo no material de apoio. Dado que vou estar ausente no início da próxima semana, quem quiser ver o exame deve contactar o professor José Carlos Bacelar.

As orais relativas à primeira chamada serão realizadas na Sexta dia 7 de Julho às 10h00. Quem estiver interessado envie-me um email.

Já publiquei as notas da primeira chamada. Vejam o pdf respectivo no material de apoio.

Já coloquei as notas dos projectos na secção de Avaliação.

Já coloquei na recepção do departamento uma folha onde os grupos se podem inscrever para entregar os projectos. Tal como combinado, as entregas decorrerão no dia 9 de Junho.

Amanhã a aula teórica será dada antes da aula prática. Peço desculpa pelo aviso tardio.

No dia 19 de Abril não haverá aula teórica.

Foram publicados mais dois projectos com funcionalidades adicionais para a biblioteca Haskell de redes P/T. Recomenda-se aos grupos que ainda não escolheram projecto que o façam com a maior brevidade possível.

Na próxima Quarta, dia 5 de Abril, a aula teórica será nas Join.

Neste momento já todos os projectos foram escolhidos. Se mais alguém quiser realizar um projecto entre em contacto comigo para lhe propor um enunciado. Já agora, a entrega dos projectos deverá ser feita até ao dia 9 de Junho.

Coloquei na página do projecto 5 duas ferramentas de edição de redes de Petri que usam como formato de gravação o PNML. Podem ser bastante úteis para os grupos que vão realizar esse projecto, mas quem não gostar do DaNAMiCS pode sempre experimentar uma destas ferramentas...

A lista dos projectos escolhidos até ao momento já está disponível. O projecto "P/T Nets em Haskell" já foi escolhido por dois grupos e, como tal, não aceito mais inscrições para este projecto. Relembro que os projectos estão dimensionados para grupos de dois elementos. Se o grupo for maior terá que realizar mais tarefas do que as especificadas.

Especialmente para os amantes de XML, acabei de publicar um projecto sobre parsing e geração de PNML em Haskell. Já agora, gostava de referir que cada projecto só pode, no máximo, ser realizado por dois grupos (FIFO).

A partir da próxima semana a aula de Quarta-feira passa para as 11h00, mantendo-se no anfiteatro DI-A1.

Já foram disponibilizados os primeiros enunciados de projectos práticos na secção de avaliação. Entretanto serão colocados mais enunciados com ênfase na programação em vez da modelação. Mal decidam o grupo e o projecto que pretendem realizar enviem-me um email.

Já podem encontrar no material de apoio os acetatos com a introdução à disciplina, e os acetatos sobre sistemas de transição.

Os acetatos apresentados nas aulas teóricas serão colocados no material de apoio ao longo do semestre.