publicações selecionadas
-
artigo académico
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
- Towards new data management platforms for a DSO as market enabler – UPGRID Portugal demo. CIRED - Open Access Proceedings Journal. 2017
- Validating an Approach to Formalize Use Cases with Ontologies. Electronic Proceedings in Theoretical Computer Science. 2016
- MapIt: A model based pattern recovery tool. Computational Methods in Applied Sciences. 2013
- A Patterns Based Reverse Engineering Approach for Java Source Code. IEEE Annual IEEE Software Engineering Workshop. 2012
-
artigo de conferência
- A generator of user interface prototypes for the IVY workbench 2019
- High assurance on cyber-physical interactive systems. CEUR Workshop Proceedings. 2019
- IVY 2: A model-based analysis tool 2019
- Improving Traces Visualisation through Layout Managers 2019
- Avaliação de usabilidade da ferramenta uCat 2017
- De requisitos a protótipos de UI: uma abordagem semi automatizada 2017
- MODUS: Model-based user interfaces prototyping 2017
- Um editor tabular para modelação de interfaces 2017
- MODUS: uma metodologia de prototipagem de interfaces baseada em modelos 2015
- A Study on the Viability of Formalizing Use Cases 2014
-
artigo de revista
- Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform. Human Factors. 2021
- The Modelery: A Model-Based Software Development Repository. International Journal of Web Information Systems. 2015
-
documento
-
livro
-
teses