![[Photo]](http://www.di.uminho.pt/~jfc/images/jfc08intran.JPG)
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
Past research
This page is currently being updated and may not yet include all past research activities.
- Research & Development
- Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
- High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.4) (P2020) [PI]
- BEST CASE RL8 - Languages and Tools for Critical Real Time Systems (ON.2, started 01/01/2013 - 2.5 years) [PI]
- PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
- APEX - Agile Prototyping for user EXperience (FCT, started 01/02/2011 - 3.5 years) [PI]
- SSaaPP - Spreadsheets as a Programming Paradigm (FCT, 05/2010-04/2013)
- CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT, 03/2010-03/2013)
- IVY - A model-based usability analysis environment (FCT, 07/2005-06/2008) [PI]
- SCAPS - Safe Control of Automated Production Systems (FCT, 07/2005-06/2008)
- AudioBrowser - A web accessibility tool for blind and visually impaired users (FCT, 05/2003-04/2004)
- XtrmSWING - Reverse Engineering of Java/Swing (Algoritmi internal project) (Algoritmi, 01/2002-12/2002) [PI]
- Sistema Integrado de Acesso à Internet para Pessoas com Deficiências Visuais (SNRIPD - CITE 2001, 09/2001-08/2002)
- Technology Transfer
- Collaborative Visual Development (OutSystems, 2020)
- OutSystems Learnability Model 2 (OutSystems, 2019)
- OutSystems Learnability Model (OutSystems, 2018)
- PROVA - Platform for Software Verification and Validation (AdI)
- GWS - Global Weighing Solution (Cachapuz/QREN, 2009/2011)
- TDG - Test Data Generator (IT Peers/QREN, 2009/2010)
- InPACT - Integrated Engineering Tools for Protection, Automation and Control Systems (EFACEC/QREN, 07/2008-12/2010)
- Networks
- REVVIS - Reunião de Especialistas em Verificação e Validação de Software (CYTED)
- PhD students
- Carlos C.L. Silva (12/2019)
Using Predictive and Descriptive Cognitive Models for Evaluation of Interactive Computing Systems - Rui Couto (06/2017)
Pattern Based Software Development - Carlos Eduardo Silva (09/2015)
Reverse Engineering of Web Applications - José Luís Silva (11/2012)
Rapid Prototyping of Ubiquitous Computing Environments - João Carlos Silva (12/2010)
GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces. - MSc students
- Cristiano Faria (04/2014)
Web-based user interface prototyping and simulation - Tiago Gomes (12/2013)
3D Virtual Environments' Generation - Paulo Cruz (12/2013)
Development of an environment for the generation, mutation and execution of test cases - Nuno Milhases (12/2013)
Suporte à Interoperabilidade entre o Automation Studio e Sistemas SCADA: Tradução de sinópticos de XAML para SVG - Ana Isabel Sampaio (12/2013)
Responsive Web Design - Fábio Silva (07/2013)
Melhorar a usabilidade de aplicaçães web: mais resultados com menos esforço - Daniel Quinta (07/2013)
Application of Formal Methods in ITASAT Project - Samuel Moreira (01/2013)
Simulating Ubiquitous Computing Environments - Nuno Sousa (11/2012)
WildAniMAL: MAL Interactors Model Animator - Manuel Sousa (11/2012)
Safety Critical Interactive Computing Systems' Modelling - Miguel Esteves (10/2012)
CazDataProvider: A solution to the object-relational mismatch - Joaquim Anacleto (07/2012)
Desenvolvimento de uma aplicação web para dispositivos móveis - Monitorização e controlo de uma rede de digital signage - Rui Moreira (12/2011)
Integrating a 3D application server with a CAVE - Paulo Borges (01/2011)
Software Seguro para Sistemas Mecatrónicos Temporizados - Carlos Silva (09/2010)
Reverse Engineering of Rich Internet Applications - Sandrine Mendes (12/2009)
FlexiXML: Um animador de modelos de interfaces com o utilizador - Alexandre Mano (02/2006)
User interfaces for children