Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • Menu
Sobre

Sobre

Sou Professor Auxiliar no Departamento de Informática da Universidade do Minho e investigador sénior do HASLab/INESC TEC. Trabalho na aplicação de técnicas e ferramentas formais de engenharia de software à modelação e análise de sistemas interactivos.

Investigação financiada recente inclui: modelação e análise formais de sistemas interactivos (com um foco particular em dispoisitivos médicos); teste de interfaces com o utilizador baseado em modelos; prototipagem de sistemas de computação ubíqua utilziando realidade virtual; e engenharia reversa da cama de interface de aplicações.

Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering (a que actualmente presido), do editorial board da revista Proc. of the ACM on HCI e do comité de steering da EICS (ACM SIGCHI Symposium on Engineering Interactive Computer Systems).

 

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    José Creissac Campos
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    01 novembro 2011
005
Publicações

2019

Formal techniques in the safety analysis of software components of a new dialysis machine

Autores
Harrison, MD; Freitas, L; Drinnan, M; Campos, JC; Masci, P; di Maria, C; Whitaker, M;

Publicação
SCIENCE OF COMPUTER PROGRAMMING

Abstract
The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller drives the dialysis cycle and deals with error management. The logic was analysed using model checking techniques and the source code was analysed formally, checking type correctness conditions, use of pointers and shared memory. The analysis provided evidence of the verification of risk control measures relating to the software component. The productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and the analyst using the formal analysis tools, provided a basis for the development of rationale for the effectiveness of the evidence.

2018

Formal Modelling as a Component of User Centred Design

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

Publicação
Software Technologies: Applications and Foundations - Lecture Notes in Computer Science

Abstract

2018

Improving the Visualization of Alloy Instances

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

Publicação
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.

2018

Improving Traces Visualisation through Layout Managers

Autores
Couto, R; Campos, JC;

Publicação
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

Towards a Simulation-Based Medical Education Platform for PVSio-Web

Autores
Silva, C; Campos, JC;

Publicação
2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)

Abstract
Interface design flaws are often at the root cause of use errors in medical devices. Medical incidents are seldom reported, thus hindering the understanding of the incident contributing factors. Moreover, when dealing with a use error, both novices and expert users often blame themselves for insufficient knowledge rather than acknowledge deficiencies in the device. Simulation-Based Medical Education (SBME) platforms can provide appropriate training to professionals, especially if the right incentives to keep training are in place. In this paper, we present a new SBME, particularly targeted at training interaction with medical devices such as ventilators and infusion pumps. Our SBME functions as a game mode of the PVSio-web, a graphical environment for design, evaluation, and simulation of interactive (human-computer) systems. An analytical evaluation of our current implementation is provided, by comparing the features on our SBME with a set of requirements for game-based medical simulators retrieved from the literature. By being developed in a free, open source platform, our SBME is highly accessible and can be easily adapted to specific use cases, such a specific hospital with a defined set of medical devices.

Teses
supervisionadas

2018

BlockChain as a PKI for Ownership Control of IoT Devices

Autor
Guilherme Vieira Pinto

Instituição
UP-FEUP

2017

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

Autor

Instituição
UM

2017

A Library of User Interface Widgets Prototypes for Car Dashboards

Autor

Instituição
UM

2017

Model-based Testing of User Interfaces

Autor

Instituição
UM

2017

A Tabular Editor for MAL Interactors

Autor

Instituição
UM