João Pascoal Faria Professor Auxiliar da FEUP / Assistant Professor at FEUP (DEEC) Investigador no Inesc-Porto / Researcher at Inesc-Porto (USIC) Membro do Grupo de Engenharia de Software na FEUP / Member of the Software Engineering Group at FEUP

Investigação & Desenvolvimento / Research & Development (FEUP / Inesc-Porto)

Interesses de investigação actuais / Current research interests

• Software Engineering
  • Software testing
    • Automated model-based testing
  • Rapid and rigorous model-driven application development
  • Integration of formal and semi-formal methods
  • Requirements engineering of generic software products

Supervisões / Supervisions

• Doutoramento / PhD
  • Ana Cristina Paiva, Automated Specification-based Testing of User Interfaces (co-supervision with Raul Vidal, José Nuno Oliveira) (concluded)
  • Maria Clara Silveira, Requirements Reuse in the Development and Adaptation of Software Products (co-supervision with Raul Vidal) (concluded)
• Mestrado / MSc
  • Rui Gomes (MEI), Teste de Interfaces de Voz / Testing Voice Interfaces (September 2005-)
  • Sara Araújo (MRSC),  Segurança na Circulação de Informação Clínica / Security of Medical Information (January 2005 - May 2006) co-supervision with José Magalhães Cruz)
  • Paulo Alexandre Fernandes (MEEC), Desenvolvimento de uma ferramenta do tipo 4GL em ambiente Java / Development of a 4GL tool for a Java development environment (October 2004 - May 2006)
  • Firmino Silva (MGI), Integração de Informação de Clientes  (concluded 6 May 2005)

Projectos / Projects

• IVY - A model-based usability analysis environment, POSI/EIA/56646/2004 (July 2005 - June 2008)
• SCOPE - Sistema da Comunidade Portuária Electrónico (running)
  • participação na formação em UML e definição da estratégia de testes e certificação
• SAGA - Sistema Assistido de Geração e Gestão de Aplicações (1989-1999)
  • líder de projecto
• SIGMA - Sistema Integrado de Gestão Municipal (Outubro 1987 - Fevereiro 1991)
  • responsável por desenvolvimento de ferramentas, desenvolvimento de módulos, migração e transferência tecnológica
• SIFO - Sistemas Integrados por Fibra Óptica (Outubro 1985 - Junho 1986)
  • participação no projecto de circuito integrado para REDIS/ISDN

Publicações / Publications

• Towards the Integration of Visual and Formal Models for GUI Testing
  Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
  MBT 2007 - Third Workshop on Model-Based Testing, March 31 - April 1, 2007, Braga, Portugal
   
• Wiki Based Requirements Documentation of Generic Software Products
  Clara Silveira, João Pascoal Faria, Ademar Aguiar, Raul Vidal
  AWRE'05 - The Tenth Australian Workshop on Requirements Engineering, 22 November 2005, Melbourne, Australia, pp. 42-51 (best paper award)
   
• A Model-to-implementation Mapping Tool for Automated Model-based GUI Testing
  Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
  ICFEM 2005 - 7th International Conference on  Formal Engineering Methods, Manchester, UK, 1-4 November 2005, LNCS 3785, pp. 450-464, Springer-Verlag, 2005.
   
• Modeling and Testing Hierarchical GUIs
  Ana C. R. Paiva, João C. P. Faria, Raul F. A. Moreira, Nikolai Tillmann
  ASM'05 - 12th  International Workshop on Abstract State Machines, March 8-11, 2005, Paris, France, pp 329-344.
   
• Automated Specification-based Testing of Interactive Components with AsmL
  Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal
  QUATIC'2004 - Conferência Internacional sobre Qualidade nas Tecnologias de Informação e Comunicação, Porto, 18-20 de Outubro, 2004
   
• Specification-based Testing of User Interfaces
  Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal
  The 10th DSV-IS Workshop (Design Specification and Verification of Interactive Systems), Funchal, Madeira, 4-6 de Junho, 2003
   
• Métodos Formais na Especificação de Interfaces com o Utilizador: a Linguagem VDM++ e o Tratamento de Eventos
  Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal, José Nuno Oliveira
  Actas da 3ª Conferência da Associação Portuguesa de Sistemas de Informação, 2002
   
• Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
  João Pascoal Faria, Raul Moreira Vidal
  Proceedings do XIV Simposium Brasileiro de Bases de Dados - SBBD'99, Florianópolis, Santa Catarina, Brasil, Outubro de 1999
   
• Regras Activas Dirigidas pelos Dados para a Manutenção de Restrições de Integridade e Dados Derivados em Aplicações Interactivas de Bases de Dados (abstract)
  João Pascoal Faria
  FEUP, Setembro de 1999 (tese de doutoramento)
   

• Aspectos Tecnológicos do SIGMA e do Projecto de Informatização Municipal
  João Pascoal Faria, Mário Jorge Leitão, José Manuel Moreira, António Vilela Bouça
  Informação e Informática - Revista do Instituto de Informática, Ministério das Finanças (15), páginas 40-46, 1995
   

• Implementação de Novas Tecnologias da Informação na Administração Local e Regional. PIM (Projecto de Informatização Municipal): Um exemplo de aplicação
  R. Moreira Vidal, José Manuel Moreira, João Pascoal Faria
  Proceedings do ENDIEL' 93, ST2 - Indústrias do Software e da Informação, artigo n.º 2.2,  Porto, Abril de 1993
   
• SAGA - Uma ferramenta interactiva para o desenvolvimento expedito e fácil manutenção de aplicações de bases de dados
  João Pascoal Faria, João Vasco Ranito
  Proceedings do ENDIEL’91, ST2 - Indústrias do Software e da Informação, páginas 33-40, Lisboa, Portugal, Junho de 1991
   
• SAGA - Uma Ferramenta Interactiva para a Geração e Gestão de Aplicações baseadas em Vistas e Regras
  João Pascoal Faria
  FEUP, Outubro de 1990 (trabalho de síntese elaborado para as provas de aptidão pedagógica e capacidade científica)
   
• SAGA - Sistema Assistido de Gestão/Geração de Aplicações
  João Pascoal Faria, João Vasco Ranito, Vladimiro Miranda
  Revista de Engenharia, Número 2, páginas 43-46, Julho - Setembro de 1990
   

• Alguns parâmetros de qualidade no desenvolvimento e utilização de aplicações informáticas
  Vladimiro Miranda, João Pascoal Faria, João Vasco Ranito
  Encontro da APQ - Associação Portuguesa de Qualidade, Dezembro de 1989
   

• SIGMA - Gestão Municipal em UNIX/C e Bases de Dados em Implantação na Região Norte
  Vladimiro Miranda, João Correia Lopes, João Pascoal Faria, João Canas Ferreira, Eduardo Silva, João Vasco Ranito, Jorge Serro
  Proceedings do ENDIEL'89, páginas 233-240, Porto, 1989
   

   Last updated: 11-04-2007, João Pascoal Faria, jpf@fe.up.pt, www.fe.up.pt/~jpf