Publicações selecionadas | - M.D. Harrison, P. Masci and J.C. Campos. Balancing the formal and the informal in user centred design. Interacting with Computers, 33(1):55-72, January, 2021.
- C. Silva, J. Vieira, J.C. Campos, R. Couto and A.N. Ribeiro. Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform. Human Factors, 63(6):1012-1032. 2021.
- J.C. Campos, C. Fayollas, M.D. Harrison, C. Martinie, P. Masci and P. Palanque. Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Transactions on Computer-Human Interaction, 27(5), August, 2020.
- M.D. Harrison, P. Masci and J.C. Campos. Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering, 45(8):802-822, August, 2019.
- M.D. Harrison, L. Freitas, M. Drinnan, J.C. Campos, P. Masci, C. di Maria and M. Whitaker. Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming, 175:17-34, April. 2019.
|
Projetos | - SpecRep (Constraint-based Specification Repair: FCT, EXPL/CCI-COM/1637/2021)
- DigiLightRail: Solução de Automação do Ciclo de Vida de Projectos de Sinalização Ferroviária (INESCP-SERV-50/20, 2020-2023)
- OLM2: OutSystems Learnability Model - 2nd phase (INESCP-SERV-47/19, 2019-2020)
- OLM: OutSystems Learnability Model (INESCP-SERV-37/18, 2018-2019)
- Collaboration: Collaborative Visual Development (INESCP-SERV-10/20, 2020-2021)
|