Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I am an Associate Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab - INESC TEC. I mainly work on the application of formal software engineering techniques and tools to the modelling and analysis of interactive system. 

Current and recent funded research includes: formal modelling and analysis of interactive systems (with a particular focus on medical devices); model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; and the reverse engineering of the user interface layer of software systems.

I am a member of IFIP WG 2.7/13.4 on User Interface Engineering (currently chairing the group) and of the steering committee of EICS (the ACM SIGCHI Symposium on Engineering Interactive Computer Systems).

Interest
Topics
Details

Details

  • Name

    José Creissac Campos
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st November 2011
003
Publications

2022

Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers

Authors
Ardito, C; Lanzilotti, R; Malizia, A; Lárusdóttir, M; Spano, LD; Campos, JC; Hertzum, M; Mentler, T; Abdelnour Nocera, JL; Piccolo, LSG; Sauer, S; der Veer, GCv;

Publication
INTERACT (Workshops)

Abstract

2022

Teaching HCI Engineering: Four Case Studies

Authors
Caffiau, S; Campos, JC; Martinie, C; Nigay, L; Palanque, P; Spano, LD;

Publication
SENSE, FEEL, DESIGN, INTERACT 2021

Abstract
The paper presents the work carried out at the HCI Engineering Education workshop, organised by IFIP working groups 2.7/13.4 and 13.1. It describes four case studies of projects and exercises used in Human-Computer Interaction Engineering courses. We propose a common framework for presenting the case studies and describe the four case studies in detail. We then draw conclusions on the differences between the presented case studies that highlight the diversity and multidisciplinary aspects to be taught in a Human-Computer Interaction Engineering course. As future work, we plan to create a repository of case studies as a resource for teachers. © 2022, IFIP International Federation for Information Processing.

2022

Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees

Authors
Campos, JC; Ribeiro, AN;

Publication
SENSE, FEEL, DESIGN, INTERACT 2021

Abstract
This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master’s levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts creates challenges when teaching and learning requirements analysis, design, and implementation of software systems. The approaches adopted to address these challenges are described. © 2022, IFIP International Federation for Information Processing.

2022

Verification of railway network models with EVEREST

Authors
Martins, J; Fonseca, JM; Costa, R; Campos, JC; Cunha, A; Macedo, N; Oliveira, JN;

Publication
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022

Abstract
Models-at different levels of abstraction and pertaining to different engineering views-are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone. This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model-the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD)-in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined infrastructure rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted. EVEREST is integrated in a long-term effort of EFACEC to implement industry-strong tools to automate and formally verify the design of railway solutions. © 2022 ACM.

2021

Balancing the formal and the informal in user-centred design

Authors
Harrison, MD; Masci, P; Campos, JC;

Publication
INTERACTING WITH COMPUTERS

Abstract

Supervised
thesis

2022

Um contributo para melhorar a compreensão de model checkers usando língua natural

Author
Ezequiel José Veloso Ferreira Moreira

Institution
UM

2022

A new models editor for the IVY Workbench

Author
Rui Filipe Moreira Mendes

Institution
UM

2022

Sistematização do desenvolvimento de interfaces web

Author
Nelson Tiago da Silva Sousa

Institution
UM

2022

Geração Automática de Interfaces de Utilizador para Aplicações Web

Author
Catarina Araújo Machado

Institution
UM

2022

Improve human resources management via UX/UI

Author
Maria Moutinho Figueiredo da Silva

Institution
UM