Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I am an assistant 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
002
Publications

2019

Improving Traces Visualisation through Layout Managers

Authors
Couto, R; Campos, JC;

Publication
Proceedings - ICGI 2018: International Conference on Graphics and Interaction

Abstract
Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study. © 2018 IEEE.

2018

Formal Modelling as a Component of User Centred Design

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

Publication
Software Technologies: Applications and Foundations - Lecture Notes in Computer Science

Abstract

2018

Improving the Visualization of Alloy Instances

Authors
Couto, R; Campos, JC; Macedo, N; Cunha, A;

Publication
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.

Abstract
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior. c R. Couto, J. C. Campos, N. Macedo & A. Cunha This work is licensed under the Creative Commons Attribution License.

2017

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices

Authors
Masci, P; Zhang, Y; Jones, PL; Campos, JC;

Publication
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Abstract
Formal methods technologies have the potential to verify the usability and safety of user interface (UI) software design in medical devices, enabling significant reductions in use errors and consequential safety incidents with such devices. This however depends on comprehensive and verifiable safety requirements to leverage these techniques for detecting and preventing flaws in UI software that can induce use errors. This paper presents a hazard analysis method that extends Leveson’s System Theoretic Process Analysis (STPA) with a comprehensive set of causal factor categories, so as to provide developers with clear guidelines for systematic identification of use-related hazards associated with medical devices, their causes embedded in UI software design, and safety requirements for mitigating such hazards. The method is evaluated with a case study on the Gantry-2 radiation therapy system, which demonstrates that (1) as compared to standard STPA, our method allowed us to identify more UI software design issues likely to cause use-related hazards; and (2) the identified UI software design issues facilitated the definition of precise, verifiable safety requirements for UI software, which could be readily formalized in verification tools such as Prototype Verification System (PVS). © Springer International Publishing AG (outside the US) 2017.

2017

Demonstrating that Medical Devices Satisfy User Related Safety Requirements

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

Publication
Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Abstract
One way of contributing to a demonstration that a medical device is acceptably safe is to show that the device satisfies a set of requirements known to mitigate hazards. This paper describes experience using formal techniques to model an IV infusion device and to prove that the modelled device captures a set of requirements. The requirements chosen for the study are based on a draft proposal developed by the US Food and Drug Administration (FDA). A major contributor to device related errors are (user) interaction errors. For this reason the chosen models and requirements focus on user interface related issues. © Springer International Publishing AG 2017.

Supervised
thesis

2017

TOM Framework: Uma ferramenta de testes baseados em modelos para interfaces gráficas web

Author

Institution
UM

2017

A Library of User Interface Widgets Prototypes for Car Dashboards

Author

Institution
UM

2017

Model-based Testing of User Interfaces

Author

Institution
UM

2017

A Tabular Editor for MAL Interactors

Author

Institution
UM

2016

Minium Recorder - Browser interaction recording

Author
José Miguel Morais Morgado

Institution
UM