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 a post doctoral researcher at the department of Informatics of the University of Minho and a Researcher at HASLab/INESC TEC. My research interests lie in formal methods, user interaction, application of formal methods to user interaction, as well as in the intersection of Model Driven Development, Software Engineering, and Requirements Engineering.

I hold a PhD. in Informatics from the University of Minho, and have been working on the application of formal methods, model driven methodologies and user interaction since then. I am particularly interested in bringing closer the software engineering (SE) and human computer interaction (HCI) fields, with a focus on automated reasoning techniques and tools.

Recently, I've collaborated in the formal software verification tool IVY, in the European project InteGrid and in the European project UpGrid.

Interest
Topics
Details

Details

  • Name

    Rui Miguel Couto
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st July 2013
001
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

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

Towards new data management platforms for a DSO as market enabler – UPGRID Portugal demo

Authors
Alonso, A; Couto, R; Pacheco, H; Bessa, R; Gouveia, C; Seca, L; Moreira, J; Nunes, P; Matos, PG; Oliveira, A;

Publication
CIRED - Open Access Proceedings Journal

Abstract

2017

MODUS: model-based user interfaces prototyping

Authors
Machado, M; Couto, R; Campos, JC;

Publication
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '17

Abstract

2016

Validating an Approach to Formalize Use Cases with Ontologies

Authors
Couto, R; Ribeiro, AN; Campos, JC;

Publication
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Abstract
Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use cases need to be appropriately formalized. This will also help guarantee consistency between requirements specifications and developed solutions. Formal methods tend to suffer from take up issues, as they are usually hard to accept by industry. In this context, it is relevant not only to produce languages and approaches to support formalization, but also to perform their validation. In previous works we have developed an approach to formalize use cases resorting to ontologies. In this paper we present the validation of one such approach. Through a three stage study, we evaluate the acceptance of the language and supporting tool. The first stage focusses on the acceptance of the process and language, the second on the support the tool provides to the process, and finally the third one on the tool's usability aspects. Results show test subjects found the approach feasible and useful and the tool easy to use.

Supervised
thesis

2015

MODUS: Geração de Interfaces Gráficas baseadas em Modelos

Author
Marina Machado

Institution
UM