Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2011/12)

Tópicos

28 Mar - Definidas as tutorias e supervisões dos grupos de Projecto integrado.

29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.

12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012

07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala

NB: English is the official language of this module.

Every Thursday, 09h00-13h00, unless arranged otherwise with tutors/supervisors.

Group	Partnership	Project	External supervisor	Tutors	Student	Name
A	CSAIL	Understanding Git with Alloy	Eunsuk Kang	MAC , JBB	PG17229	Renato Neves
B	SIG	Refining a software induced energy consumption model	Miguel Ferreira	JNO , LSB	PG20687	Paulo Cruz
C	EDUCED	TRADUÇÃO DE MODELOS DE COMPORTAMENTO UML PARA ALLOY	Jose Miguel Faria	MJF , JSP	PG21029	Ivo Carrajola
B	SIG	Refining a software induced energy consumption model	Miguel Ferreira	JNO , LSB	PG20685	Cristiano Faria
A	CSAIL	Understanding Git with Alloy	Eunsuk Kang	MAC , JBB	PG19800	Claudio Lourenco

Due in July 2012.

-- JoseNunoOliveira - 28 Mar 2012

r2 - 28 Mar 2012 - 12:09:40 - JoseNunoOliveira

Syndicate this site RSS ATOM