ESCOLA DE ENGENHARIA
Departamento de Informática
RELATÓRIO BIENAL DE ACTIVIDADES
(nos termos e para o efeito do disposto no no 2 do D.L. 243/85, de 11 de Julho)
Anos de 2005 e 2006
Docente: Pedro Manuel Rangel Santos Henriques
Categoria: Professor Associado, de nomeação definitiva
1
Enquadramento da Actividade de Biénio
Ao longo de 2005/2006, a minha actividade nas três vertentes—ensino, investigação e gestão—pautou-se pela continuação das linhas (de interesses cientı́ficos e educacionais) orientadoras dos biénios anteriores e claramente focadas na
abordagem gramatical à resolução de problemas por computador. Nesse sentido, continuei a liderar o grupo disciplinar
de Processamento de Linguagens (gEPL).
Assim, e mais em pormenor:
• a nı́vel do ensino—mantive-me ligado às disciplinas de paradigmas e linguagens de programação e de processamento de linguagens; continuei a exploração do conceito de ensino orientado ao projecto, através da ligação à
disciplina de Laboratórios Integrados da nova licenciatura em Engenharia de Comunicações (Lecom).
• a nı́vel de investigação—dei continuidade à pesquisa, ao desenvolvimento de projectos de I&D e à orientação
de pós-graduações (mestrado e doutoramento) na área lata do processamento de linguagens (visualização e
animação de programas, processamento sintáctico e semântico de documentos, geração de código); também
mantive a minha linha de trabalho ligada aos sistemas de armazenamento e processamento de dados (desenho de
sistema de informação suportados em bases de dados, análise e pre-processamento, extracção de conhecimento).
• a nı́vel da gestão apenas mantive o meu envolvimento na Comissão de Curso da Lecom, como representante do
DI, e na Comissão Directiva do Micei (tendo substituı́do o Director no ano lectivo 2005/06 em que este esteve
de licença sabática).
2
I
ACTIVIDADE PEDAGÓGICA
Nesta secção apresento as disciplinas por anos lectivos, mas apenas menciono as dos semestres correspondentes ao
biénio em avaliação e não distingo os cursos quando a matéria leccionada é a mesma; identifico, também, o subconjunto
das disciplinas que foram leccionadas pela primeira vez (neste caso, em termos absolutos (cursos novos) e pessoais).
Apresento, depois, os estágios (também de ambas as licenciaturas referidas) que supervisionei e os projectos de fim de
curso (relativos à disciplina designada por Opção III de Lesi e Lmcc) que propus e orientei.
I.1. –
Leccionação de disciplinas de Licenciatura
Carga
horária
semanal
Disciplina
T
TP
P
o
2005 (2 Sem. de 04-05)
Lmcc – Programação Imperativa
4 (2 turnos)
Lesi, Lmcc – Processamento de Linguagens I (R)
2 (1 turma)
Lecom – Laboratórios Integrados VI
3 (1/2 turno)
2005 (1o Sem. de 05-06)
Lesi – Métodos de Programação III
4 (2 turnos)
Lecom – Paradigmas da Programação I (R)
2 (1 turma)
Larq – Introdução à Informática (R)
1 (1 turno)
o
2006 (2 Sem. de 05-06)
Lesi – Paradigmas de Programação II
2 (1 turno)
Lesi, Lmcc – Processamento de Linguagens I (R)
2 (1 turma)
Lecom – Métodos de Programação II (R)
2 (1 turma)
Leo – Tecnologias da Comunicação em Humanidades (R)
2006 (1o Sem. de 06-07)
Lecom – Paradigmas da Programação I (R)
3 (1 turma)
Lecom – Laboratórios Integrados III (R)
6 (3 turnos)
Larq – Introdução à Informática (R)
1 (1 turno)
Cet-Dsas – Fundamentos de Programação (R)
2 (1 turma)
3
I.2. –
Leccionação de disciplinas de Pós-Graduação
Carga
horária
semanal
Disciplina
T
o
2005 (2 Sem. de 04-05)
Micei – Processamento de Linguagens (co-R)
1 (1 turma)
2006 (2o Sem. de 05-06)
Micei – Processamento de Linguagens (co-R))
1 (1 turma)
o
2006 (1 Sem. de 06-07)
Msdpa – Análise e Modelação de Sistemas de Armazenamento e Transporte de Dados (R)
I.3. –
2 (1 turma)
Leccionação de disciplina pela primeira vez
Disciplina
Licenciatura
Métodos de Programação II
Eng. de Comunicações
Laboratórios Integrados VI
Eng. de Comunicações
Fundamentos de Programação
CET-DSAS
4
Pós-Graduação
TP
P
I.4. –
Estágios / Projectos de fim de curso
I.4. –.1
Estágios
Aluno
Tı́tulo do
estágio/projecto
Cláudia
Alexandrina
Cerqueira Nunes (Lmcc)
Desenvolvimento do Módulo
de Análise de Dados do
SIEP(suporte ao projecto
FASTI)
DI/UM (Braga)
2005
Filipa Rodrigues (Lsoc)
Metodologia do Núcleo Português do Museu da Pessoa:
contributos da Sociologia
npMP–Núcleo Português do
Museu da Pessoa (DI/UM,
Braga)
2005
Fabı́ola Gonçalves (Lsoc)
Museu da Pessoa, dignificar
Memórias de Fronteira – estudo de caso
npMP–Núcleo Português do
Museu da Pessoa (DI/UM,
Braga)
2005
Sérgio Carvalho (Lesi)
Website do Núcleo de Arqueologia da UM (NARQ)
UArq/UM (Braga)
2005
João Casal (Lesi)
Sistema baseado na Web de
Informação Arqueológica: o
caso de (Bracara Augusta)
UArq/UM (Braga)
2005
Fernanda Barroso (Lmcc)
Implementação de um sistema multi-média para ensino do Chinês
CLCOUM (Braga)
2006
Raquel Pires (Lmcc)
O Sı́tio do Pico – reimplementação e módulos
básicos
DI/UM (Braga)
2006
Marlene Madureira (Lmcc)
O Sı́tio do Pico – implementação da interacção por
Varrimento
DI/UM (Braga)
2006
Anabela Silva (Lmcc)
O Sı́tio do Pico – desenvolvimento do módulo Compositor
de Histórias
DI/UM (Braga)
2006
Elisabete Cunha (Lmcc)
O Sı́tio do Pico – desenvolvimento do módulo Contador de
Histórias
DI/UM (Braga)
2006
Rodrigo Baptista (Lesi)
Compilador e Máquina Virtual para a Linguagem ST segundo a norma IEC 61131-3
Efacec+DI/UM (Braga)
2006
Sandrine Mendes (Lesi)
User Interface do módulo ER
da suite Alert
MNI (Porto)
2006
Miguel Duarte (Lmcc)
Desenvolvimento do módulo
Data-Warehouse da suite
Alert
MNI (Porto)
2006
Jorge Lima (Lmcc)
Sistema para Validação de
Actos
Micro-Net, Software e Desenvolvimento Lda. (Braga)
2006
Fernando Pinto (Lmcc)
Learning Object Models
Sinfic SA (Lisboa)
2006
5
Nome da empresa
Data
I.4. –.2
Projectos de fim de curso
Além de ter ainda acompanhado no inı́cio de 2005, até à conclusão relato e avaliação final, os 6 projectos começados
no 2o semestre de 2004 (referidos no relatório do biénio anterior), propus e orientei no 2o semestre de 2005 e 20061 os
seguintes projectos:
I.5. –
Grupo
Tı́tulo do projecto
Luı́sa Novais, Leonor Araújo,
Beatriz
Lourenço,
Rodrigo
Baptista(Lesi)
NavMap – Navegador Conceptual
para criação e manuseamento de Mapas de Conceitos
2005
Pedro Araújo, José Gandarela,
Daniel Afonso (Lesi)
Integração e Armazenamento de
Fontes Nominativas Históricas, no
âmbito do SIME
2005
Flávio Ferreira, Hugo Pacheco,
José Vilas-Boas (Lesi)
PDA’s no Levantamento de Informação em Arquivos Históricos, no
âmbito do SEED
2006
Jorge Pereira, Nuno Correia,
Tiago Ribeiro (Lesi)
e-Sharing – Sistema baseado na Web
para partilha de Recursos de Informação entre Comunidades
2006
João Veloso, João Falcão, Ricardo Moreira(Lesi)
e-Sharing – Plugins
2006
Data
Textos de apoio pedagógico
NIL.
I.6. –
Organização de sı́tio de suporte para apoio a e-learning
Todas as disciplinas de que fui responsável ao longo do biénio (assinaladas com (R) nos quadros das secções I.1. –
e I.2. –) são suportadas por um sı́tio WWW por mim realizado e gerido.
Qualquer um deles encontra-se disponı́vel através de links explı́citos na minha página pessoal, acessı́vel em
www.di.uminho.pt/∼prh/
I.7. –
Frequência de acções de formação pedagógica
• Supervising PG Dissertations, 8h, Junho 2006, UM/Braga.
I.8. –
Outras Actividades
Tarefas de Coordenação / Gestão pedagógica
• Membro da Comissão Directiva do Mestrado em Informática e do Curso de Especialização em Informática
(Micei), durante o biénio, tendo sido director interino durante a licença sabática do seu director (2005/06).
• Membro da Comissão de Curso da Licenciatura em Engenharia de Comunicações (Lecom).
• Coordenador, a nı́vel do DI, do CET (Cursos de Especialização Tecnológica) em Desenvolvimento de Software e
Administração de Sistemas (DSAS), responsável pelo lançamento da 1a edição (2o semestre de 2006).
• Colaboração na gestão pedagógica das disciplinas de Informática leccionadas pelo DI a Licenciaturas externas
ao departamento, ao longo do biénio.
1 Correspondente
aos 1o semestres dos anos lectivos 05/06 e 06/07.
6
II
ACTIVIDADE CIENTÍFICA
Recordo que tenho sido coordenador (excepto ao longo do meu mandato como director do DI(2002-2003)) do grupo
de investigação gEPL—Especificação formal e técnicas de desenvolvimento de Processadores de Linguagens—integrado
no CCTC—Centro de Ciências e Tecnologia de Computadores. É no contexto deste grupo, que formei no inı́cio de 1994
com uma equipe constituı́da por 4 Assistentes e por mim, que se enquadra a minha principal actividade académica,
cientı́fica e lectiva, que é descrita neste relatório em geral e, em particular, na presente secção.
II.1. –
Supervisão de Docentes e Investigadores
Nesta secção descrevem-se apenas as orientações em curso, ou iniciadas, no biénio mas não concluı́das. Na secção
seguinte, listam-se as orientações em curso que foram concluı́das no biénio.
Pós-Doc (Pós-Doutoramento)
• de Alda Cristina Reis dos Santos Lopes Gançarski, à data membro do LIP6 – Équipe Bases de Données(Universidade
Pierre et Marie Curie (Paris VI)), sobre OntXQuery – Interactive information access in XML documents associated
with ontologies, Universidade do Minho, iniciado em 2005 e terminado antes do fim em Setembro de 2006.
Doutoramento
• de Gustavo Vasconcelos Arnold, aluno externo vindo de S. Salvador da Baı́a–Brasil, sobre Automatização da
Geração de Código para Robôs Industriais diversos, tese co-orientada por mim e pelo Doutor Jaime Fonseca do
DEI, Universidade do Minho, iniciado em 2002.
• de Paulo Jorge Oliveira, aluno externo pertencente ao IPP/ISEP, sobre Detecção e Correcção de Problemas na
Qualidade de Dados, tese co-orientada por mim e pela Doutora Fátima Rodrigues do IPP/ISEP, Universidade do
Minho, iniciado em 2004.
• de Mario Marcelo Berón, aluno externo pertencente à Universidade Nacional de San Luis, na Argentina, vindo
através da rede de mobilidade (suportada pela UE) Alpha LERNET, sobre Cognitive Models to support the Comprehension of Routing Algorithms, tese co-orientada por mim e pelo Doutor Roberto Uzal da mesma universidade
(UNSL), iniciado em 2006.
Mestrado
NIL.
II.2. –
Finalização de Orientações com Sucesso
• Tese de Doutoramento de Jorge Gustavo Basto Pereira Rocha, sobre Informação Geográfica: Meta-Informação,
Codificação, Visualização — concluı́da em 2004 e defendida em Abril de 2005.
• Tese de Doutoramento de Paulo Jorge Teixeira Matos, aluno externo pertencente ao IPB, sobre Um Modelo
Arquitectónico para Desenvolvimento de Compiladores: Aplicação à Framework Dolphin, — defendida em Maio
de 2005.
• Tese de Doutoramento de Giovani Rubert Librelotto, aluno externo originário da UFRGS em Porto Alegre–Brasil,
sobre Topic Maps, da Sintaxe à Semântica, tese co-orientada por mim e pelo Doutor José Carlos Ramalho do DI,
— defendida em Setembro de 2005.
• Tese de Mestrado de Eva Ferreira de Oliveira, aluna externa pertencente ao IPCA, sobre Caracterı́sticas de um
Sistema de Visualização para Compreensão de Programas Web — defendida em Setembro de 2006.
• Tese de Mestrado de Sandra Cristina Marinho Gonçalves da Silva Lopes, aluna externa, sobre Concepção de um
sistema para planificar e ensinar uma disciplina, tese co-orientada pelo Doutor Paulo Dias do IEP e por mim,
Mestrado em Tecnologias Educativas do IEP, — defendida em Dezembro de 2006.
7
II.3. –
Envolvimento em Projectos de I&D
• PCVIA: Compreensão de Programas por Inspecção Visual e Animação, proposta POSI/EIA/57662/2004 submetida em Julho de 2004 ao concurso aberto pela FCT em todos os domı́nios cientı́ficos.
Financiado por 1 biénio a partir de 2006 (34.620,00 ), iniciou informalmente actividade em 2005, tendo já
produzido 1 tese de mestrado (de Eva Oliveira, acima referida) e enquadrando também a tese de doutoramento
de Mario Berón.
Coordenado pela Dr.a Maria João Varanda (do IPB), sou responsável pela proposta e pela supervisão das actividades no pólo de Braga.
• Voda Project – Grammar-based Systems.
Projecto de Cooperação Bilateral (Portugal-Eslovénia), financiado pelo GRICES no triénio 2004/2006.
• Portugal, paı́s e mortalidade excepcionalmente favorável? Aprofundamento micro-analı́tico (séc. XII a XV),
proposta submetida em Julho de 2004 ao concurso aberto pela FCT em todos os domı́nios cientı́ficos.
Financiamento em 2006, é globalmente coordenado pela Dr.a Carlota Santos.
Sou Coordenador da componente de informática, responsável pela tarefa: SACaAI: Sistema Informático para
Análise, Contra-análise e Apoio à Interpretação.
II.4. –
Candidatura a Projectos de I&D
NIL.
II.5. –
Participação em Juris de Provas Académicas
Só menciono os juris em que o candidato não era meu orientando, ou seja, não referi os juris relativos aos meus
doutorandos/mestrandos que terminaram com sucesso neste biénio.
• Equiparação a Doutoramento requerida por Ana Maria Abrão, sobre Interfaces Visuais para Linguagens Funcionais, Universidade de Évora, Setembro de 2005.
• Doutoramento na Universidade Pierre et Marie Curie (Paris-6), de Alda Cristina Reis dos Santos Lopes Gançarski,
sobre Un modèle interactif de recherche d’information de documents structurés spécifié par des grammaires
attribuées, em Paris aos 24 de Janeiro de 2005.
• Doutoramento na Faculdade de Ciências da Universidade de Lisboa, de Maria Dulce Pedroso Domingos, sobre
Controlo de Acesso em Fluxos de Trabalho Adaptáveis, aos 30 de Junho de 2005.
• Mestrado na Faculdade de Economia da Universidade do Porto, de Joana Vanessa Carvalho Marques, sobre Um
Estudo sobre a eficiência computacional da construção de Árvores de Regressão, em 13 de Setembro de 2005.
• Mestrado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, de Gil Loureiro, sobre Formatação Optimizada de Documentos usando Restrições no XSL:FO, em 15 de Setembro de 2006.
• Mestrado na Faculdade de Economia da Universidade do Porto, de Rui Manuel Silva de Sousa Rocha, sobre
Ambiente Web Extensı́vel para Pós-Processamento de Regras de Associação, em 31 de Outubro de 2006.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Óscar Rafael da Silva Ferreira Ribeiro, sobre
Model Checking of Petri Nets for Embedded Systems, em 06 de Julho de 2005.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Victor Manuel Santos Coelho, sobre Desenvolvimento de uma Infra-estrutura robusta e eficiente para navegação interactiva em ambientes virtuais complexos,
em 03 de Novembro de 2005.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Mário André Pinto Ferreira de Araújo, sobre
Web-Services na Informação Geográfica, em 06 de Dezembro de 2005.
8
• Mestrado na Escola de Engenharia da Universidade do Minho, de Luı́s Miguel Alves Domingues, sobre Especificação
e Geração Automática de Navegadores para Redes Semânticas baseados em interfaces Web, em 06 de Fevereiro
de 2006.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Alexandre Sérgio Mano, sobre Interfaces de
Computador para Crianças – avaliação e construção, em 01 de Fevereiro de 2006.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Joel Alexandre da Silva Vicente, sobre XBRL
em Portugal – estudo e indicações técnicas para a sua implementação, em 20 de Abril de 2006.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Tiago Miguel Laureano Alves, sobre VooDooM:
suport for understanding and re-engineering of VDM-SL specifications, em 15 de Junho de 2006.
• Mestrado na Escola de Engenharia da Universidade do Minho, de Filipe José Silva de Campos, sobre Análise de
um sistema de Votação Electrónica comercial, em 10 de Julho de 2006.
II.6. –
Arguição em Juris
Na medida em que todos estes juris já foram enumerados no item anterior, limito-me a indicar o tipo de provas e o
nome do candidato.
• Equiparação a Doutoramento de Ana Maria Abrão.
• Doutoramento de Alda Cristina Reis dos Santos Lopes Gançarski.
• Doutoramento de Maria Dulce Pedroso Domingos.
• Mestrado de Joana Vanessa Carvalho Marques.
• Mestrado de Gil Loureiro.
• Mestrado de Rui Manuel Silva de Sousa Rocha.
II.7. –
Participação e Relato em Juris de Concursos
• Concurso de Provas Públicas para Recrutamento de um Professor-Coordenador no Grupo Disciplinar de “Sistemas e Tecnologias de Informação” para a área cientı́fica de Organização e Sistemas de Informação da Escola
Superior de Tecnologia do Instituto Politécnico do Cavado e do Ave, aberto pelo Despacho (CI) nuo 61/2004, tendo
sido responsável pela apreciação e discussão do currı́culo cientı́fico e pedagógico da candidata Maria Manuela
Cruz Cunha, Setembro de 2005.
II.8. –
Organização de Eventos Cientı́ficos
Colaborei activamente no lançamento, promoção e organização dos seguintes eventos:
• 1a edição da Escola de Verão Internacional GTTSE’05 – Generative and Transformational Techniques in Software
Engineering, Hotel da Falperra - Braga, Julho de 2005. Membro da comissão organizadora.
• 3a edição do Workshop Nacional XATA’2005 – XML – Aplicações e Tecnologias Associadas, Casa da Torre,
Fevereiro de 2005. Membro da comissão organizadora.
• 3a edição das Jornadas de Informática Join’05, da responsabilidade conjunta do DI e das organizações de alunos
CESIUM e GEMCC, UM-Gualtar, Fev./Março de 2005. Coordenador da comissão organizadora.
• 2a edição do SDDI’04 – Simpósio Doutoral do Departamento de Informática, que na realidade se realizou na Casa
da Torre em Janeiro, 2005. Membro da comissão organizadora.
• 2a edição do TIUP – Torneio Inter-Universitário de Programação, do qual se realizaram 5 edições ao longo de
2005, sendo uma delas (em Setembro) da responsabilidade do DI, o qual é também responsável pelo site oficial
do evento. Membro da comissão organizadora.
9
• 4a edição das Jornadas de Informática Join’06, da responsabilidade conjunta do DI e das organizações de alunos
CESIUM e GEMCC, UM-Gualtar, em Abril de 2006. Coordenador da comissão organizadora.
• 3a edição2 do SDDI’06 – Simpósio Doutoral do Departamento de Informática, DI, Fevereiro, 2006. Membro da
comissão organizadora.
• 3a edição do TIUP – Torneio Inter-Universitário de Programação, do qual se realizaram 5 edições ao longo de
2006, sendo o DI responsável pelo site oficial do evento. Membro da comissão organizadora.
II.9. –
Participação em Comissões Cientı́ficas
Além dos eventos listados no item anterior e dos quais também integrei as respectivas comissões cientı́ficas, ainda fui,
ao longo do biénio, membro dos seguintes Comités de Programa:
• da 6a e 7a CAPSI – Conferência da Associação Portuguesa de Sistemas de Informação, que se realizou no IPB
em Novembro de 2005 e na UA em Janeiro de 2007.
• da 2a ICKEDS – Int. Conference on Knowledge Engineering and Decision Support, organizada pelo ISEP-IPP em
Maio de 2006.
• da 4a XATA – Conferência Nacional de XML, Aplicações e Tecnologias Associadas, organizada pelo IPP (em
Portalegre) em Fevereiro de 2006.
• da 2a CTNET –Conferência em Compiler related Technologies for the .NET plataform, organizada na UBI em
Março de 2006.
• da 8a e 9a edições do CeNPLf, Concurso/encontro Nacional de Programação Lógica e Funcional, realizadas no
IPB em 2005 e na FEUP em 2006. Participei no Comité Cientı́fico e no Júri de Avaliação.
• da 5a e 6a edições da MIUP, Maratona Inter-Universitária de Programação, realizadas na UA em 2005 e na UBI
em 2006. Participei no Comité Cientı́fico e no Júri de Avaliação.
II.10. –
Outras Actividades Cientı́ficas
Palestras Convidadas em Conferências Internacionais
NIL.
Seminários em outras Instituições
• Informática na Saúde, comunicação apresentada no âmbito das 1a Jornadas em Engenharia Biomédica da UM,
Parque de Exposições de Braga, Novembro de 2005.
• [email protected], comunicação apresentada na Universidade Pierre et Marie Curie (Paris VI), aquando
da minha estadia no LIP6, Paris, Fevereiro de 2006.
• SIEP, un Systeme d’ Information pour Étude Prosopographique, comunicação apresentada na Sorbonne, aquando
da minha estadia no LIP66, Paris, Fevereiro de 2006.
• Associação Portuguesa Para a Inteligência Artificial, Comemoração dos 50 anos da IA, ISEP, Porto, Maio de
2006.
• SIEP, an Information System to support Prosopographic Studies, comunicação apresentada no âmbito da Int.
Meeting Ecclesiastical Careers in Western Christianity, CEOC’06, UCP, Lisboa, Setembro de 2006.
2 Pela
razão acima referida da 2a edição apenas se ter realizado em 2005, não se organizou a SDDI’05.
10
Revisão de Artigos
Nesta secção apenas menciono os trabalhos de revisão de artigos realizados fora dos eventos em que participei na
Comissão de Programa.
NIL.
Participação em Reuniões Cientı́ficas ou Similares
Em 2006 estive 1 mês (12 de Fevereiro a 12 de Março) em Paris como visitante convidado no LIP6, laboratório de
investigação em informática associado à Universidade Pierre et Marie Curie (Paris VI).
11
II.11. –
Publicações Cientı́ficas
Livros e Capı́tulos de Livros. Monografias
(Paulo Oliveira, 2006) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, Data Cleaning by Reusing Domain
Knowledge, in Knowledge and Decision Technologies, p. 67-74, ISBN: 972-8688-39-3, 2006.
Teses e Dissertações
Teses e dissertações supervisionadas por mim no biénio em apreço:
[Roc05 ] Jorge Gustavo Basto Pereira Rocha, Informação Geográfica: Meta-Informação, Codificação, Visualização,
Universidade do Minho, 2005. Tese de Doutoramento.
[Mat05 ] Paulo Jorge Teixeira Matos, Um Modelo Arquitectónico para Desenvolvimento de Compiladores: Aplicação
à Framework Dolphin, Universidade do Minho, 2005. Tese de Doutoramento.
[Lib05 ] Giovani Rubert Librelotto, Topic Maps, da Sintaxe à Semântica, Universidade do Minho, 2005. Tese de
Doutoramento. Em co-supervisão com José Carlos Ramalho.
[Oli06 ] Eva Ferreira de Oliveira, Caracterı́sticas de um Sistema de Visualização para Compreensão de Programas Web,
Universidade do Minho, 2006. Tese de Mestrado. Em co-supervisão com Maria João Varanda.
[Lop06 ] Sandra Cristina Marinho Gonçalves da Silva Lopes, Concepção de um sistema para planificar e ensinar uma
disciplina, Universidade do Minho, 2006. Tese de Mestrado. Em co-supervisão com Paulo Dias.
Artigos em revistas com revisão por pares e que constem do SCI
(M.João Varanda, 2005 ] Pedro Rangel Henriques, Maria João Varanda, Marjan Mernik, Mitja Lenic, J.Gray, H. Wu,
Automatic generation of language-based tools using the LISA system, in IEE Software Journal, Vol. 152, No. 2,
pg 54-70, Abr 2005.
(Alda Lopes, 2006) Alda Lopes Gançarski, Anne Doucet, Pedro Rangel Henriques, AG-based interactive system to
retrieve information from XML documents, in IEE Software Journal, 2006.
(Damijan Rebernak, 2006) Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda,
AspectLISA: an aspect-oriented compiler construction system based on attribute grammars, in Electronic Notes
in Theoretical Computer Science (ENTCS) – Proceedings of the Sixth Workshop on Language Descriptions, Tools,
and Applications (LDTA 2006), J. Boyland and A. Sloane Editors, Volume 164, Issue 2, Pages 1-138 (24 October
2006) da Elsevier, pg 37-53, Out 2006.
(Damijan Rebernak, 2006b) Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela da Cruz, Maria
João Varanda, Specifying Languages using aspect-oriented approach: AspectLISA, in CIT – Journal of Computing
and Information Technology, Volume 14, Number 4, pg. 343-350, Dez 2006; versão revista da comunicação
apresentada na Int. Conference on ”Information Technology Interfaces”, ITI’06, Cavtat-Dubrovnik, Croácia, Jun
2006.
Artigos noutras revistas
(Giovana Mendes, 2005) Giovana Mendes, Nuno Alberto Silva, Pedro Rangel Henriques, Utilizando uma Base de
Dados XML Nativa aplicada ao tratamento de erros num sistema de logs, in Sistemas de Informação, revista
da Associação Portuguesa de Sistemas de Informação, pg 91-100, 2005; uma versão revista de mesmo artigo
apresentado in CoopMedia’03.
(José Ramalho, 2005) José Carlos Ramalho, Giovani Librelotto, Pedro Rangel Henriques, Geração Automática de
Interfaces Web para Sistemas de Informação: Metamorphosis, in Sistemas de Informação, revista da Associação
Portuguesa de Sistemas de Informação, pg 53-72, 2005; uma versão revista de mesmo artigo apresentado in
CoopMedia’03.
12
Artigos em Actas de reuniões cientı́ficas
(Alda Lopes, 2005a) Alda Lopes Gançarski, Pedro Rangel Henriques, Construção e utilização de um protótipo para
o processamento da linguagem de interrogação IXDIRQL, in Conferência Portuguesa de XML - Aplicações e Tecnologias Associadas, XATA’05, pp. 130-143, Braga – Portugal, Fev 2005. Txt completo.
(Alda Lopes, 2005b) Alda Lopes Gançarski, Pedro Rangel Henriques, A processing environment for the IXDIRQL
XML query language, in IADIS Virtual Multi Conference on Computer Science and Information Systems (MCCSIS
2005), Abr 2005. Txt completo.
(Alda Lopes, 2005c) Alda Lopes Gançarski, Pedro Rangel Henriques, Extending XQuery with selection operations to
allow for interactive construction of queries, in 9. Int. Conference on Electronic Publishing, Heverlee, Belgium,
Jun 2005. Txt completo.
(Eva Oliveira, 2005) Eva Oliveira, Maria João Varanda, Pedro Henriques, Compreensão de Aplicações Web: O
Processo e as Ferramentas, in CAPSI’05 - Conferência da Associação Portuguesa de Sistemas de Informação, ESTiG/IPB, Bragança, Out. 2005. Txt completo.
(Sandra Lopes, 2005a) Sandra Cristina Lopes, Pedro Rangel Henriques, O Sı́tio do Pico, in Challenge’05, UM, Braga
– Portugal, Abr 2005. Txt completo.
(Sandra Lopes, 2005b) Sandra Cristina Lopes, Pedro Rangel Henriques, Paulo Dias, Mapas de Conceitos saltam do
papel para o écran e tornam-se navegáveis, in Simpósio Int. de Informática no Ensino, SIIE’05 Leiria – Portugal,
Nov 2005. Txt completo.
(Sandra Lopes, 2005c) Sandra Cristina Lopes, Pedro Rangel Henriques, Paulo Dias, Mapas de Conceitos e Catálogo
de Recursos: uma boa ajuda para planificar o ensino, in CAPSI’05 - Conferência da Associação Portuguesa de
Sistemas de Informação, ESTiG/IPB, Bragança, Out. 2005. Txt completo.
(Paulo Oliveira, 2005a) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, A Formal Definition of Data
Quality Problems in Proceedings of the 10th Int. Conference on Information Quality, MIT, Boston, EUA, pag.
13-26, Nov 2005. Txt completo.
(Paulo Oliveira, 2005b) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, A Framework for Detection and
Correction of Data Quality Problems in Proceedings of Data Gadgets 2005 Int. Workshop - Bringing Up Emerging
Solutions for Data Warehousing Systems, O. Belo, A. Lourenço e R. Alves (Eds.), Granada – Espanha, p. 59-74,
Set 2005. Txt completo.
(Paulo Oliveira, 2005c) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, Helena Galhardas, A Taxonomy
of Data Quality Problems, in Proceedings of the 2nd Int. Workshop on Data and Information Quality (em conjunto
com a conferência CAiSE’05), p. 219-233, Porto – Portugal, Jun 2005. Txt completo.
(Paulo Oliveira, 2006a) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, A Taxonomy of Instance-Level
Quality Problems on Relational Data in Proceedings of the 4th German Information Quality Management Conference, Frankfurt – Alemanha, Nov 2006. Txt completo.
(Paulo Oliveira, 2006b) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, An Ontology-Based Approach
For Data Cleaning, in Proceedings of the 11th Int. Conference on Information Quality, MIT, Boston – EUA, Nov
2006. Txt completo.
(Paulo Oliveira, 2006c) Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques, Data Profiling versus Data Quality Problems in Proceedings of the 2nd Workshop on Data and Knowledge Quality, Lille – França, p. 9-15, Jan
2006. Txt completo.
(Alda Lopes, 2006a) Alda Lopes Gançarski, Pedro Rangel Henriques, A formal definition of selection operations that
extend XQuery with interactive query construction, in the Int. Conference on Web Information Systems and
Technologies (WEBIST06), Setúbal – Portugal, 2006. Txt completo.
13
(Alda Lopes, 2006b) Alda Lopes Gançarski, Pedro Rangel Henriques, Extensão do XQuery com operações de selecção para a construção interactiva das perguntas, in Conferência Portuguesa de XML - Aplicações e Tecnologias
Associadas, XATA’06, pp. 130-143, Portalegre – Portugal, 2006. Txt completo.
(Sandra Lopes, 2006) Sandra Cristina Lopes, Pedro Rangel Henriques, Sı́tio de uma disciplina: um espaço de aprendizagem, in Simpósio Int. de Informática no Ensino, SIIE’06 Leon – Espanha, Out 2006. Txt completo.
(Anabela Silva, 2006) Anabela Cardoso Silva, Elisabete Cunha, Pedro Rangel Henriques, Sandra Cristina Lopes, O Sı́tio
do Pico: um espaço de aprendizagem para crianças com paralisia cerebral, in Conferência Nacional Interacção’06,
UM, Braga – Portugal, Out 2006. Txt completo.
(Mario Béron, 2006a) Pedro Henriques, Mario Béron, M.João Varanda, Roberto Uzal, Herramientas para la compresión de programas, in VIII Workshop de Investigadores en Ciencias de la Computación, WICC’2006, Universidade
de Morón, Argentina, 2006. Txt completo.
(Mario Béron, 2006b) Pedro Henriques, Mario Béron, M.João Varanda, Roberto Uzal, Comprensión de Algoritmos
de Ruteo, in XXXII Conferencia Latino-americana de Informática, CLEI’2006, Santiago do Chile – Chile, 2006. Txt
completo.
(Mario Béron, 2006c) Mario Béron, Pedro Henriques, M.João Varanda, Roberto Uzal, G. Montejano, A Language
Processing Tool for Program Comprehension, in XII Argentine Congress on Computer Science, CACIC’06, Universidad Nacional de San Luis, Argentina, 2006. Txt completo.
(Mario Béron, 2006d) Pedro Henriques, Mario Béron, M.João Varanda, A System for Evaluate and Understand
Routing Algorithms, demo e poster com texto in Conferência Nacional Interacção’06, UM, Braga – Portugal, Out
2006.
(Giovani Librelotto, 2006) Giovani R. Librelotto, José Carlos Ramalho, Pedro Rangel Henriques, Topic Maps
aplicados ao sistema de informação do Museu da Emigração, in Conferência Portuguesa de XML - Aplicações e
Tecnologias Associadas, XATA’06, Portalegre – Portugal, 2006. Txt completo.
(Eva Oliveira, 2006) Eva Oliveira, Maria João Varanda, Pedro Henriques, Proposta de um Sistema para Compreensão
de Aplicações Web, in CAPSI’06 - Conferência da Associação Portuguesa de Sistemas de Informação, UA, Aveiro,
Jan. 2007. Txt completo.
II.12. –
PATENTES
NIL.
14
III
ACTIVIDADE DE GESTÃO
III.1. –
Cargos Desempenhados
NIL.
III.2. –
Funções Atribuı́das pelo Departamento
• Membro do O(DI)2 – Órgão de Divulgação e Imagem do DI, ao longo do biénio.
III.3. –
Funções Atribuı́das pela Reitoria
NIL.
15
IV
ACTIVIDADE DE EXTENSÃO (Prestação de Serviços ao Exterior)
IV.1. –
Projectos e Protocolos
Listo a seguir vários projectos de prestação de serviço ao exterior (PSEC) que foram criados, ou continuados, ao longo do
presente biénio e pelos quais sou responsável, colaborando activamente no seu desenvolvimento. Não menciono outros
em que, embora estejam a decorrer sob protocolos da minha responsabilidade, não participo directa, ou activamente,
no desenvolvimento.
• Museu da Emigração, das Comunidades e da Luso-descendência, projecto SIME para Recolha, Tratamento e
Divulgação via WWW de informação sobre os emigrantes brasileiros, ou outros, e sobre o meio social e geográfico
ao longo do seu trajecto de vida, com vista à criação/manutenção de um Museu virtual do Emigrante.
Projecto iniciado em 2003 (embora ainda não oficializado por assinatura de protocolo), está em andamento.
• “Fasti Ecclesia Portugaliae”, estudo prosopográfico do Clero Catedralı́cio Português na Idade Média, projecto
SIEP para Recolha, Tratamento e Divulgação de informação, com vista à criação de uma base de dados nacional
sobre o Clero Catedralı́cio entre 1071 e 1325.
Projecto iniciado em 2003 (embora não oficializado por assinatura de protocolo), concluı́do ao longo deste biénio,
tendo os vários módulos desenvolvidos sido instalados no sistema central da sede do projecto, Universidade
Católica Portuguesa, sendo acessı́vel através do URL
http://www.fasti.ucp.pt/
• Pico – Sitio do Pico, um espaço de aprendizagem para Crianças com Paralisia Cerebral.
Projecto iniciado em 2003 (embora não oficializado por assinatura de protocolo), essencialmente desenvolvido ao
longo deste biénio, tendo os vários módulos sido instalados no delegação de Guimarães da APPC, entidade que
solicitou a tarefa.
• Integra – Compilador e Máquina Virtual para a linguagem de programação de controladores ST segundo a norma
IEC 61131-3.
financiado pela Efacec (embora não oficializado por assinatura de protocolo), desenvolvido ao longo de 2006.
Universidade do Minho, 31 de Março de 2007.
O Docente
16