Calendário de Eventos
|
Defesa de Dissertação de Mestrado: Edno Vicente da Silva
Quinta-feira, 30 Setembro 2010, 10:30 - 12:30
Dissertação de Mestrado
"Especificação Formal e Verificação Automática de Workflows Científicos"
Edno Vicente da Silva
Data: 30 de setembro de 2010
Horário: 10:30 h
Local: H-310A
Banca Examinadora:
Profa. Marta Lima de Queirós Mattoso - PESC/COPPE/UFRJ (Presidente)
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ
Prof. Alexandre de Assis Bento Lima - PESC/COPPE/UFRJ
Profa. Jonice de
"Especificação Formal e Verificação Automática de Workflows Científicos"
Edno Vicente da Silva
Data: 30 de setembro de 2010
Horário: 10:30 h
Local: H-310A
Banca Examinadora:
Profa. Marta Lima de Queirós Mattoso - PESC/COPPE/UFRJ (Presidente)
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ
Prof. Alexandre de Assis Bento Lima - PESC/COPPE/UFRJ
Profa. Jonice de