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
Publications

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.

2015

The Modelery: a model-based software development repository

Authors
Couto, R; Nestor Ribeiro, AMN; Creissac Freitas de Campos, JFCF;

Publication
IJWIS

Abstract
Purpose-This paper aims to present the Modelery, a platform for collaborative repository to support model-based software development. The Modelery is a Web platform, composed both by a Web page and Web services for interoperability. Design/methodology/approach-By performing a study in the existing platforms, it was possible to achieve a set of issues to tackle. The issues enabled the possibility to define a set of requirements that allowed the authors to design a new platform, and to perform a model-driven software development process, which started from the requirements until reaching the final software solution. Findings-With this work, it was possible to perform a survey on the currently available artifacts repositories, categorize them and identify their shortcomings. This was essential to define the set of requirements for a new platform to overcome the identified issues. This process leads to a platform able to improve the currently available solutions, and validated in the scientific community. In this paper, the authors also explore the applications of the repository. First, they use the Modelery to replace an older model's repository. Second, they have enabled the communication between other tools and the Modelery via Web services. Originality/value-This work presents a new Web repository for software artifacts aimed at supporting researchers and software developers. The presented platform is an improvement over other platforms on the integration of artifacts repository, social functionalities and scientific publications integration. The authors conclude this paper by comparing the achieved platform in terms of functionalities, against the other analyzed platforms. © 2015 Emerald Group Publishing Limited.

2014

Application of ontologies in identifying requirements patterns in use cases

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

Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS

Abstract
Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the process. While use cases are not meant to describe a system's implementation, by formalizing their description we are able to extract implementation relevant information from them. More specifically, we are interested in identifying requirements patterns (common requirements with typical implementation solutions) in support for a requirements based software development approach. In the paper we propose the transformation of Use Case descriptions expressed in a Controlled Natural Language into an ontology expressed in the Web Ontology Language (OWL). OWL's query engines can then be used to identify requirements patterns expressed as queries over the ontology. We describe a tool that we have developed to support the approach and provide an example of usage. © 2014 R. Couto, A.N. Ribeiro & J.C. Campos.

Supervised
thesis

2015

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

Author
Marina Machado

Institution
UM