Trustworthy Software Design with Alloy. The main goal of this project is to develop a methodology for trustworthy software design that is both formal, unified, and lightweight.
Exploratory project on the analysis of user interaction with the OutSystems platform.
InteGrid’s vision is to bridge the gap between citizens and technology/solution providers such as utilities, aggregators, manufacturers and all other agents providing energy services, hence expanding from DSOs distribution and access services to active market facilitation and system optimisation services while ensuring sustainability, security and quality of supply.
Horizon 2020, grant agreement No 731218
Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid.
Horizon 2020, grant agreement No 646.531
A model's repository, as a support for model driven development processes, and models refinement - Models Refinery.
Senior Researcher at HASLab
I have been working on the application of model driven techniques and tools to the software development process since then. I am particularly interested in bringing closer the software engineering (SE) and requirements engineering (HCI) fields, with a focus on automated reasoning techniques and tools.
Invited Assistant Professor
I've been lecturing classes on Object Oriented Programming and software architectures design, resorting to UML.
Find-me at University of Minho, Informatics Department, Lab 2.13, or,
Contact-me at ruicouto (at) di.uminho.pt