Publications

Journal Articles
Conference Papers
Book Chapters
Workshop Papers
Technical Reports
Booklets

You can find my articles on my Google Scholar profile.

Journal Articles

Why do women pursue a PhD in Computer Science?

Published in Journal of Systems and Software, 2025

A comprehensive survey with more than 500 participants on the factors supporting, or deterring students from pursuing a PhD in Computer Science and how these factors vary by gender.

Recommended citation: Erika Ábrahám, Miguel Goulão, Milena Vujošević Janičić, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Özge Büyükdağlı, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, and Larissa Schmid, Journal of Systems and Software, August, 2025. http://arxiv.org/abs/2507.22161

Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE

Published in Software and Systems Modeling, 2024

Software modelling and Model-Driven Engineering (MDE) is traditionally studied from a technical perspective. […] human factors play a role in the success of MDE

Recommended citation: Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral, "Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE." Software and Systems Modeling, 2024. https://doi.org/10.1007/s10270-024-01188-8

Making sense of the unknown: How managers make cyber security decisions

Published in ACM Transactions on Software Engineering and Methodology, 2023

Our work demonstrates how organisations and practitioners can enrich goal modelling to capture not only what security goals an organisation has (and how they can operationalise them) but also how and why these goals have been identified.

Recommended citation: Shreeve, Benjamin, Catarina Gralha, Awais Rashid, Joao Araujo, and Miguel Goulão. "Making sense of the unknown: How managers make cyber security decisions." ACM Transactions on Software Engineering and Methodology 32, Issue 4, Article No.: 83 (2023): 1-33. https://dl.acm.org/doi/full/10.1145/3548682

A social and technical sustainability requirements catalogue

Published in Data & Knowledge Engineering, 2023

A reusable sustainability requirements catalogue that helps developers be aware of sustainability-related properties worth considering during software development.

Recommended citation: Ana Moreira, João Araújo, Catarina Gralha, Miguel Goulão, Isabel Brito, Diogo Albuquerque, "A social and technical sustainability requirements catalogue." Data & Knowledge Engineering, vol 147, 2023. https://www.sciencedirect.com/science/article/pii/S0169023X22000982

Assessing user stories: the influence of template differences and gender-related problem-solving styles

Published in Requirements Engineering Journal, 2022

Our goal was to analyse the differences between 4 alternative user story templates when creating and understanding user stories. In addition, we used the GenderMag framework to assess the effects of different problem-solving styles, usually associated with gender, while performing the tasks.

Recommended citation: Catarina Gralha, Rita Pereira, Miguel Goulão, João Araújo, "Assessing user stories: the influence of template differences and gender-related problem-solving styles." Requirements Engineering Journal, vol. 27, pp 521-544, 2022. https://doi.org/10.1109/RE51729.2021.00026

Conference Papers

A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism

Published in In the proceedings of ICSE 2025 47th International Conference on Software Engineering, 2025

arXiv DOI

Recommended citation: Kiev Gama, Grischa Liebel, Miguel Goulão, Aline Lacerda, Cristiana Lacerda, "A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism." 2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), Ottawa, ON, Canada, 2025, pp. 1-12. https://doi.org/10.1109/ICSE-SEIS66351.2025.00006

A Sustainability Requirements Catalogue for Software Modeling

Published in In the proceedings of 40th International Conference on Conceptual Modeling, 2021

Use Google Scholar for full citation

Abstract

Sustainability poses key challenges in software development for its complexity. Our goal is to contribute with a reusable sustainability software requirements catalog. We started by performing a systematic mapping to elicit and extract sustainability-related properties, and synthesized the results in feature models. Next we used iStar to model a more expressive configurable catalog with the collected data, and implemented a tool with several operations on the sustainability catalog. The sustainability catalog was qualitatively evaluated regarding its readability, interest, utility, and usefulness by 50 participants from the domain. The results were encouraging, showing that, on average, 79% of the respondents found the catalog “Good” or “Very Good” in endorsing the quality criteria evaluated. This paper discusses the social and technical dimensions of the sustainability catalog.

Recommended citation: Diogo Albuquerque, Ana Moreira, João Araujo, Catarina Gralha, Miguel Goulão, Isabel Sofia Brito, "A Sustainability Requirements Catalog for the Social and Technical Dimensions." In Ghose, A., Horkoff, J., Silva Souza, V.E., Parsons, J., Evermann, J. (eds), Proceedings of 40th International Conference on Conceptual Modeling (ER 2021), Lecture Notes in Computer Science, vol 13011. Springer, Cham. https://doi.org/10.1007/978-3-030-89022-3_30, 2021. https://doi.org/10.1007/978-3-030-89022-3_30

On the impact of using different templates on creating and understanding user stories

Published in In the proceedings of 29th IEEE International Requirements Engineering Conference, 2021

Use Google Scholar for full citation

Abstract

Context: User stories are often used for elicitation and prioritisation of requirements. However, the lack of a widely adopted user story template, covering benefit and the usage (or not) of a persona, can affect user stories’ quality, leading to ambiguity, lack of completeness, or accidental complexity.

Objectives: Our goal was to analyse the differences between 4 alternative user story templates when creating and understanding user stories.

Methods: We conducted a quasi-experiment. We asked 41 participants to perform creation and understanding tasks with the user story templates. We measured their accuracy, using metrics of task success; their speed, with task duration; visual effort, collected with an eye-tracker; and participants’ perceived effort, evaluated with NASA-TLX.

Results: Regarding the impact of the different templates in creating user stories, we observed statistically significant differences in some of the metrics for accuracy, speed and visual effort. For understanding user stories, we observed small differences in terms of visual effort.

Conclusions: Although some templates outperformed others in a few metrics, no template obtained the best overall result. As such, we found no compelling evidence that one template is “better” than the others.

Recommended citation: Catarina Gralha, Rita Pereira, Miguel Goulão, João Araujo, "On the impact of using different templates on creating and understanding user stories." In the proceedings of 29th IEEE International Requirements Engineering Conference, 2021. https://doi.org/10.1109/RE51729.2021.00026

Book Chapters

WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies

Published in Actions for Gender Balance in Informatics Across Europe, 2025

This chapter presents the Women Career Lunch (WoCa Lunch) program, designed to be executed in informatics/computer science departments to facilitate the transition to PhD, focusing on supporting women in this transition.

Recommended citation: Milena Vujošević Janičić, Erika Ábrahám, Amal Mersni, Oleksandra Yeremenko & Miguel Goulão, "WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 137-173, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_7

Voices of Female Informatics Students Across Universities

Published in Actions for Gender Balance in Informatics Across Europe, 2025

The underrepresentation of women in Informatics can lead to perceptions of potential challenges and concerns among female students. How do these students perceive the challenges they may encounter? How does this perception influence their decisions about pursuing a PhD in Informatics? In this chapter, we discuss these challenges and the opportunities the female PhD students experience, presenting them from their perspectives. Additionally, considering the “leaky pipeline” phenomenon, which causes even further attrition in the higher education pipeline, we incorporate the viewpoints of both bachelor’s and master’s students regarding pursuing a PhD in Informatics.

Recommended citation: Özge Büyükdağlı, Miguel Goulão, Milena Vujošević Janičić & Amal Mersni, "Voices of Female Informatics Students Across Universities", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 105-135, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_6

The Impact of Peers, Mentors and Role Models on Successful PhD Studies

Published in Actions for Gender Balance in Informatics Across Europe, 2025

This chapter discusses the importance of role models, mentors, and peers in supporting female students’ decision to pursue a PhD. Role models inspire individuals to emulate successful behaviours and set a standard for excellence, while mentors provide guidance, share experiences, and challenge their mentees to reach their full potential.

Recommended citation: Judith Knoblach, Ute Schmid, Miguel Goulão, Larissa Schmid, Milena Vujošević Janičić & Karima Boudaoud, "The Impact of Peers, Mentors and Role Models on Successful PhD Studies", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 175-195, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_8

Workshop Papers

A Survey of Federative Approaches for Model Management in MBSE

Published in In the proceedings of Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024

Model Management (MoM) is a possible approach to manage inter-related collections of models among which Model Federation (MF) provides unique capabilities, like independence of development in individual modelling domains. In this paper, we propose a survey and a critical discussion of carefully selected papers about MF.

Recommended citation: Moussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak, "A Survey of Federative Approaches for Model Management in MBSE." In MODELS Companion 24: Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 990-999, 2024. https://doi.org/10.1145/3652620.3688221

SCCD Debugger: a Debugger for Statecharts and Class Diagrams

Published in In the proceedings of Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024

This paper introduces a debugger for models specified in the SCCD (SCXML extended with class diagrams) formalism, which combines statecharts with class diagrams. The debugger, a crucial tool in the context of MDD, supports debugging model-generated applications at the model level rather than at the level of the synthesized code.

Recommended citation: Francisco Simões, Miguel Goulão, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe, "SCCD Debugger: a Debugger for Statecharts and Class Diagrams." Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024. https://doi.org/10.1145/3652620.3687792

Technical Reports

Booklets