Research Areas

• Software Engineering
• Requirements Engineering
• Software Modeling
• Software Process and Management
• Embedded Software
• Bibliometrics

R&D Projects

• iFlow: IT support for inbound flow of raw materials (AICEP-PIN-HMIEXCEL-L05)
  Aim: To develop an integrated logistics software system for inbound supply chain traceability. iFloW is a real-time tracking software system of freights in transit from the suppliers to the Bosch plant, located in Braga. The main goal of the project is to develop a tracking platform that by integrating information from freight forwarders and on-vehicle GPS devices allows to control the raw material flow from remote (Asian) and local (European) suppliers to the Bosch’s warehouse, alerts users in case of any deviation to the Estimated Time of Arrival (ETA), and anticipates deviations of the delivery time window. Jun/2013 - Jul/2015
  
• APEX: Agile Prototyping for user Experience (PTDC/EIA-EIA/116069/2009)
  Aim: To develop a software framework enabling rapid prototyping of ubiquitous systems targeted at built environments. The framework plugs into virtual reality simulations of the environments, and allows for the integration of users' portable devices thus immersing users within the environment using a mixture of reality and virtuality. Feb/2011 - Jan/2014
  
• AMADEUS: Aspects and Compiler Optimizations for Matlab System Development (PTDC/EIA/70271/2006)
  Aim: To develop compiler analysis and code generation techniques as well as extended existing constructs of a popular language, MATLAB, to substantially reduce the development time and code maintenance costs associated with existing science and engineering solutions in the embedded and configurable computing domains. Dec/2007 - Nov/2009
  
• SOFTAS: Software Development with Aspects (POSC/EIA/60189/2004)
  Aim: To invent a seamless aspect-oriented software development process by focusing on the definition of a complete software methodology covering all the development stages, so that crosscutting and non-crosscutting concerns can be traced during the lifecycle to produce efficient and high-quality software applications. Sep/2005 - Aug/2007
  
• uPAIN: Ubiquitous Solutions for Pain Monitoring and Control in Post-Surgery Patients (AdI/IDEIA/70/2004/3.1B/00364/007)
  Aim: To innovate the informational services offered to the hospital staff in order to improve the healthcare services at the pain level, for the patients after the medical surgeries. Jan/2004 - Dec/2007
  
• STACOS: Standard-Based Cooperative Software (POSI/CHS/48875/2002)
  Aim: To develop a methodology for developing cooperative software systems, based on a layered architecture with separation of computation and coordination concerns, as a means of achieving higher levels of auto-adaptability. Jan/2004 - Dec/2007
  
• PPC-VM: Portable Parallel Computing based on Virtual Machines (POSI/CHS/47158/2002)
  Aim: To develop methodologies and tools to help the development of scalable parallel applications that can take advantage of a high number and variety of shared computer systems. Mar/2004 - Feb/2007
  
• Methodes: Methodologies and Tools for Developing Embedded Systems (POSI/CHS/37334/2001), Principal Investigator
  Aim: To develop methodologies and tools for developing real-time embedded systems. Feb/2002 - Jan/2006
  
• RES: Reconfigurable Embedded Systems - Development Methodologies for Real-Time Applications (PRAXIS/P/EEI/10155/1998). Jul/1999 - Jun/2001
  

Supervision of Ph.D. thesis

• Francisco J. Duarte, Oct/2014. Title: Automated information systems generation for process-oriented organizations.
• Oscar R. Ribeiro, Dec/2009. Title: Animation-based validation of reactive software system from scenario-based models.
• Miguel J. Pessoa Monteiro, Jul/2005. Title: Refactoring object-oriented systems with aspect-oriented concepts.

Supervision of M.Sc. dissertations

• Eduardo Manuel Oliveira Pinto, Mar/2017. Title: Arquitetura lógica de software para sistemas de tratamento sistemático de dados: Abordagem em ambiente cloud no contexto da indústria automóvel.
• Frederico António de Sousa Carvalho, Dec/2016. Title: Gestão do Produto de Software na região de Braga: Análise e Avaliação.
• Ricardo Filipe da Silva Costa, Dec/2016. Title: Desenvolvimento de um sistema de software para a gestão de ocorrências em municípios.
• Nuno André Barbosa Gomes, Dec/2016. Title: Análise e conceção de um sistema para rastreabilidade em contexto industrial.
• Sandro Ricardo da Costa Ferraz, Oct/2016. Title: Recomendações para a adoção de práticas ágeis no desenvolvimento de software: estudos de caso.
• Diogo Jorge Fernandes Serra Barbosa, Dec/2015. Title: iFloW - IT support for inbound flow of materials.
• Luana Geórgea Lopes Telha, Dec/2014. Title: Smart targeting de conteúdos para fidelizações e ofertas.
• Hugo Miguel Teixeira Lopes Guimarães, Dec/2014. Title: Geração de esqueletos para sistemas de ETL a partir de redes de Petri coloridas.
• Samuel da Costa Rodrigues, Mar/2014. Title: Estudo e implementação de interfaces web em HTML5.
• Maria Madalena Pacheco Gonçalves, Mar/2013, Title: Guidelines for analysis and modelling of reactive software systems.
• Diogo Manuel Rodrigues Santos Silva, Feb/2013. Title: Modelação e simulação de sistemas de ETL com apelo a redes de Petri coloridas.
• Diogo Manuel dos Santos Campos, teams within design projects, Dec/2012. Title: Identification and assessment of behavioural competences in multidisciplinary.
• Jorge Miguel de Miranda Moreira, May/2012. Title: Uma aplicação informática para testes automáticos de software.
• Elísio Maciel Simão, Dec/2011. Title: Comparison of software development methodologies based on the SWEBOK .
• João Miguel da Costa Matos, Oct/2010. Title: Integração da aplicação Microsoft Project num sistema ERP.
• Diogo Barbosa Martins, Dec/2009. Title: Reliable software development in a vital signs monitoring system.
• Rui Mário Silva Freitas, Dec/2009. Title: Formal software development techniques in a continuous vital signs control system.
• Sónia Marlene Pereira de Sousa, Dec/2009. Title: Play Scrum - um jogo para a aprendizagem do método ágil Scrum.
• Susana de Jesus Prozil Rodrigues, Dec/2009. Title: Algoritmos de decisão multi-critério para atribuição de prioridades a requisitos de software.
• Mauro Jorge Pereira Almeida, Jan/2009. Title: Classificação e comparação de métodos ágeis de desenvolvimento de software.
• Paula Alexandra Fernandes Monteiro, May/2006. Title: Model-based transformations for pervasive software architectures.
• Óscar Rafael da Silva Ferreira Ribeiro, Jul/2005. Title: Model checking of Petri nets for embedded systems.
• Francisco José Monteiro Duarte, Jul/2002. Title: Engenharia de software orientada aos processos.

Program Committee Member

• Simpósio Brasileiro de Sistemas de Informação (SBSI): 2013--17
• International Conference on Information Technology: New Generations (ITNG): 2016--17.
• International Conference on the Quality of Information and Communications Technology (QUATIC): 2007--16
• IEEE International Workshop on Quality Oriented Reuse of Software (QUORS): 2008--16
• International Conference on Application and Theory of Petri Nets and other Models of Concurrency (PETRI NETS): 2009, 2010, 2014--16
• International Conference on Software Business (ICSOB): 2015--16
• International Conference on Software Engineering Advances (ICSEA): 2009--15
• IEEE International Conferences on Computational Science and Engineering (CSE): 2015
• International Conference on Intelligent Systems (SITA): 2015.
• Summer School on Grand Timely Topics in Software Engineering (GTTSE): 2009, 2015
• Workshop on Behavioural Modelling --- Foundations and Application (BM-FA): 2009--14
• International Symposium on Ubiquitous Computing and Ambient Intelligence (UCAMI): 2007, 2010--13
• International Conference on Consumer Electronics, Communications and Networks (CECNet): 2013.
• Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES): 2004--12
• IFIP International Conference on Distributed and Parallel Embedded Systems (DIPES): 2006--10
• Fórum Nacional na Área da Informática (INForum): 2009, 2010
• Jornadas sobre Sistemas Reconfiguráveis (REC): 2005--10
• International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS): 2008, 2009
• Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN): 2004-09
• Mexican International Conference on Computer Science (ENC), 2009
• IEEE Symposium on Industrial Embedded Systems (SIES): 2007--08
• Jornadas de Ingeniería del Software y Bases de Datos (JISBD): 2008
• Workshop on Teaching Concurrency (TeaConc): 2006--07
• IEEE International Conference on Emerging Technologies and Factory Automation (ETFA): 2003, 2005
• International Conference on Embedded Software and Systems (ICESS): 2005
• Taller de Desarrollo de Software Orientado a Aspectos (DSOA): 2004