Fechar

Publicações no PortAberta

 

Co-autor de rede

Mapa da Ciência

Co-investigador da Rede

João A. Saraiva

Pessoa

•  
• Publicações
•  
• Pesquisas
•  
• Contato
•  
• Ver Todos
•  

Publicações

publicações selecionadas

• artigo académico

  • An approach for graphical user interface external bad smells detection.  Advances in Intelligent Systems and Computing.  2014

• artigo de conferência

  • Towards a Catalog of Usability Smells 2015
  • A Model-based Approach for Test Cases Generation 2013
  • A domain-specific aspect language for transforming MATLAB programs 2010

• documento

  • Definição de planos de consumo energético para Queries em sistemas de bases de dados 2014

• livro

  • An Approach for Graphical User Interface External Bad Smells Detection 2014

Pesquisas

investigador principal

• GreenSoftwareLab: Computação Verde como uma Disciplina de Engenharia  concedido pelo Fundação para a Ciência e Tecnologia 2019
• Software verde como Uma Disciplina de Engenharia de Software  concedido pelo Fundação para a Ciência e Tecnologia 2017
• SSaaPP: Folhas de Cálculo como um Paradígma de Programação  concedido pelo Fundação para a Ciência e Tecnologia 2013
• ESTRICTIFICAÇÃO DE PROGRAMAS CIRCULAR POR CÁLCULO  concedido pelo Fundação para a Ciência e Tecnologia 2011
• MODULARIDADE EM LINHAS DE PRODUTOS DE SOFTWARE E CÁLCULO DE PROGRAMAS 2008
• 4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011)  concedido pelo Fundação para a Ciência e Tecnologia 2011 -
• 3rd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009)  concedido pelo Fundação para a Ciência e Tecnologia 2009 -
• ETAPS 2007: 10th European Joint Conferences on Theory and Practice of Software  concedido pelo Fundação para a Ciência e Tecnologia 2007 -
• International Summer School on Generative and Transformational Techniques in Software  concedido pelo Fundação para a Ciência e Tecnologia 2005 -

outras atividades de investigação

• AMADEUS: ASPECTS AND COMPILER OPTIMIZATIONS FOR MATLAB SYSTEM DEVELOPMENT
• AutoSeer: Automated Test Oracles for Software Error Detection
• CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software
• FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
• INESC TEC - INESC Technology and Science
• IVY - A model-based usability analysis environment
• Projecto Estratégico - UI 752 - 2011-2012

Contato

nome completo

• João A. Saraiva