Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml
and set future: false
.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
:page_facing_up: This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Toward the Design Quality Evaluation of Object-Oriented Software Systems
Published in In the proceedings of 5th International Conference on Software Quality, 1995
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Miguel Goulão, Rita Esteves, "Toward the Design Quality Evaluation of Object-Oriented Software Systems." In the proceedings of 5th International Conference on Software Quality, 1995.
The Design of Eiffel Programs: Quantitative Evaluation Using the MOOD Metrics
Published in In the proceedings of TOOLS'96 (Technology of Object Oriented Languages and Systems), 1996
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Rita Esteves, Miguel Goulão, "The Design of Eiffel Programs: Quantitative Evaluation Using the MOOD Metrics." In the proceedings of TOOLS'96 (Technology of Object Oriented Languages and Systems), 1996.
A Software Evolution Experiment
Published in In the proceedings of European Software Control and Metrics Conference (ESCOM'98), 1998
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, António Monteiro, José Martins, Fernando Abreu, Alberto Almeida, Pedro Sousa, "A Software Evolution Experiment." In the proceedings of European Software Control and Metrics Conference (ESCOM'98), 1998.
Controlo da Evolução de Sistemas Legados
Published in In the proceedings of Proceedings of the 3rd International Conference on the Quality of Information and Communications Technology (QUATIC 1998), 1998
\url{http://ceur-ws.org/Vol-1460/paper3.pdf}
Recommended citation: Miguel Goulão, António Monteiro, Fernando Abreu, Alberto Almeida, "Controlo da Evolução de Sistemas Legados." In the proceedings of Proceedings of the 3rd International Conference on the Quality of Information and Communications Technology (QUATIC 1998), 1998.
A Software Defect Report and Tracking System in an intranet
Published in In the proceedings of Third European Conference on Software Maintenance and Reengineering, 1999
Use Google Scholar for full citation
Recommended citation: António Monteiro, Alberto Almeida, Miguel Goulão, Fernando Abreu, Pedro Sousa, "A Software Defect Report and Tracking System in an intranet." In the proceedings of Third European Conference on Software Maintenance and Reengineering, 1999.
Controlling the Evolution of Legacy Systems Using Internet Technology: A Defect Report and Tracking System
Published in In the proceedings of 6th European Conference on Software Quality, 1999
Use Google Scholar for full citation
Recommended citation: António Monteiro, Miguel Goulão, Fernando Abreu, Alberto Almeida, Pedro Sousa, "Controlling the Evolution of Legacy Systems Using Internet Technology: A Defect Report and Tracking System." In the proceedings of 6th European Conference on Software Quality, 1999.
Designing and Coding Object-Oriented Systems: An Introductory Course Experience Report
Published in In the proceedings of Workshop on Introducing OO Design and Programming with Special Emphasis on Concrete Examples (ECOOP'99), 1999
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Miguel Goulão, "Designing and Coding Object-Oriented Systems: An Introductory Course Experience Report." In the proceedings of Workshop on Introducing OO Design and Programming with Special Emphasis on Concrete Examples (ECOOP'99), 1999.
The GOODLY Design Language for MOOD2 Metrics Collection
Published in In the proceedings of 3rd ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'1999), 1999
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Luís Ochoa, Miguel Goulão, "The GOODLY Design Language for MOOD2 Metrics Collection." In the proceedings of 3rd ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'1999), 1999.
A Merit Factor Driven Approach to the Modularization of Software Systems
Published in L'Object, 2001
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Miguel Goulão, "A Merit Factor Driven Approach to the Modularization of Software Systems." L'Object, 2001.
Coupling and Cohesion as Modularization Drivers: Are we being over-persuaded?
Published in In the proceedings of 5th European Conference on Software Maintenance and Reengineering (CSMR'2001), 2001
Use Google Scholar for full citation
Recommended citation: Fernando Abreu, Miguel Goulão, "Coupling and Cohesion as Modularization Drivers: Are we being over-persuaded?." In the proceedings of 5th European Conference on Software Maintenance and Reengineering (CSMR'2001), 2001.
Avoiding the Ambiguity of Quantitative Data Extraction: An Approach to Improve the Quality of Metrics Results
Published in In the proceedings of Work in Progress Session at the 28th EUROMICRO Conference, 2002
Use Google Scholar for full citation
Recommended citation: Aline Baroni, Miguel Goulão, Fernando Abreu, "Avoiding the Ambiguity of Quantitative Data Extraction: An Approach to Improve the Quality of Metrics Results." In the proceedings of Work in Progress Session at the 28th EUROMICRO Conference, 2002.
From Objects to Components - A Quantitative Experiment
Published in In the proceedings of 6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE'2002, 2002
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "From Objects to Components - A Quantitative Experiment." In the proceedings of 6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE'2002, 2002.
The quest for software components quality
Published in In the proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), 2002
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "The quest for software components quality." In the proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), 2002.
Towards a Components Quality Model
Published in In the proceedings of Work in Progress Session of the 28th Euromicro Conference (Euromicro 2002), 2002
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Towards a Components Quality Model." In the proceedings of Work in Progress Session of the 28th Euromicro Conference (Euromicro 2002), 2002.
Bridging the gap between Acme and UML 2.0 for CBD
Published in In the proceedings of Specification and Verification of Component-Based Systems (SAVCBS'2003), at the ESEC/FSE'2003, 2003
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Bridging the gap between Acme and UML 2.0 for CBD." In the proceedings of Specification and Verification of Component-Based Systems (SAVCBS'2003), at the ESEC/FSE'2003, 2003.
CBSE: a Quantitative Approach
Published in In the proceedings of ECOOP Doctoral Symposium, 2003
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, "CBSE: a Quantitative Approach." In the proceedings of ECOOP Doctoral Symposium, 2003.
Cross-Validation of a Component Metrics Suite
Published in In the proceedings of IX Jornadas de Ingenier'ia del Software y Bases de Datos (JISBD'2004), 2004
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Cross-Validation of a Component Metrics Suite." In the proceedings of IX Jornadas de Ingenier'ia del Software y Bases de Datos (JISBD'2004), 2004.
Formalizing Metrics for COTS
Published in In the proceedings of International Workshop on Models and Processess for the Evaluation of COTS Components (MPEC 2004) at ICSE 2004, 2004
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Formalizing Metrics for COTS." In the proceedings of International Workshop on Models and Processess for the Evaluation of COTS Components (MPEC 2004) at ICSE 2004, 2004.
Independent validation of a component metrics suite
Published in In the proceedings of 8th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'2004), 2004
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Independent validation of a component metrics suite." In the proceedings of 8th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'2004), 2004.
Composition assessment metrics for CBSE
Published in In the proceedings of Euromicro-SEAA 2005: 31st Euromicro Conference on Software Engineering and Advanced Applications, 2005
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Composition assessment metrics for CBSE." In the proceedings of Euromicro-SEAA 2005: 31st Euromicro Conference on Software Engineering and Advanced Applications, 2005.
Formal Definition of Metrics upon the CORBA Component Model
Published in In the proceedings of First International Conference on the Quality of Software Architectures (QoSA'2005), and Proceedings of the Second International conference on Software Quality, 2005
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Formal Definition of Metrics upon the CORBA Component Model." In the proceedings of First International Conference on the Quality of Software Architectures (QoSA'2005), and Proceedings of the Second International conference on Software Quality, 2005.
Validação Cruzada de Métricas para Componentes
Published in IEEE Transactions Latin America, 2005
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "Validação Cruzada de Métricas para Componentes." IEEE Transactions Latin America, 2005.
On the Influence of Practitioners' Expertise in Component-Based Software Reviews
Published in In the proceedings of 10th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'2006), 2006
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "On the Influence of Practitioners' Expertise in Component-Based Software Reviews." In the proceedings of 10th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'2006), 2006.
An overview of metrics-based approaches to support software components reusability assessment
Published in Software Quality Measurement: Concepts and Approaches, 2007
Use Google Scholar for full citation
Recommended citation: Miguel Goulão, Fernando Abreu, "An overview of metrics-based approaches to support software components reusability assessment." Software Quality Measurement: Concepts and Approaches, 2007.
Modeling the Experimental Software Engineering Process
Published in In the proceedings of 6th International Conference on the Quality of Information and Communications Technology (QUATIC'2007), 2007
Recommended citation: Miguel Goulão, Fernando Abreu, "Modeling the Experimental Software Engineering Process." In the proceedings of 6th International Conference on the Quality of Information and Communications Technology (QUATIC'2007), 2007. http://dx.doi.org/10.1109/QUATIC.2007.18
Component-Based Software Engineering: a Quantitative Approach
Published in NOVA School of Science and Technology, 2008
PhD Dissertation
Recommended citation: Goulão, Miguel. (2008). "Component-Based Software Engineering: a Quantitative Approach." PhD Dissertation, NOVA School of Science and Technology. http://academicpages.github.io/files/paper3.pdf
Do Software Languages Engineers Evaluate their Languages?
Published in In the proceedings of XIII Congreso Iberoamericano en "Software Engineering" (CIbSE'2010), ISBN: 978-9978-325-10-0, 2010
Use Google Scholar for full citation
Recommended citation: Pedro Gabriel, Miguel Goulão, Vasco Amaral, "Do Software Languages Engineers Evaluate their Languages?." In the proceedings of XIII Congreso Iberoamericano en "Software Engineering" (CIbSE'2010), ISBN: 978-9978-325-10-0, 2010.
Evidence-Based Comparison of Modularity Support Between Java and Object Teams
Published in In the proceedings of Empirical Evaluation of Software Composition Techniques (ESCOT 2010), at 9th International Conference on Aspect-Oriented Software Development (AOSD'2010), 2010
\url{http://www.comp.lancs.ac.uk/~greenwop/escot10/escot10_submission_9.pdf}, Rennes and Saint Malo, France
Recommended citation: Arlindo Lima, Miguel Goulão, Miguel Pessoa, "Evidence-Based Comparison of Modularity Support Between Java and Object Teams." In the proceedings of Empirical Evaluation of Software Composition Techniques (ESCOT 2010), at 9th International Conference on Aspect-Oriented Software Development (AOSD'2010), 2010.
Increasing Quality in Scenario Modelling with Model-Driven Development
Published in In the proceedings of 7th International Conference on the Quality of Information and Communications Technology (QUATIC'2010), 2010
\url{http://dx.doi.org/10.1109/QUATIC.2010.36}
Recommended citation: João Santos, Ana Moreira, João Araújo, Miguel Goulão, "Increasing Quality in Scenario Modelling with Model-Driven Development." In the proceedings of 7th International Conference on the Quality of Information and Communications Technology (QUATIC'2010), 2010.
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf
How to reach a usable DSL? Moving toward a Systematic Evaluation
Published in Electronic Communications of the EASST (MPM), 2011
\url{http://dx.doi.org/10.14279/tuj.eceasst.50.741.750}
Recommended citation: Ankica Bari{\v s}i{\'c}, Vasco Amaral, Miguel Goulão, Bruno Barroca, "How to reach a usable DSL? Moving toward a Systematic Evaluation." Electronic Communications of the EASST (MPM), 2011.
Quality in Use of Domain Specific Languages: a Case Study
Published in In the proceedings of 3rd ACM SIGPLAN workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2011), 2011
\url{http://dx.doi.org/10.1145/2089155.2089170}
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca, "Quality in Use of Domain Specific Languages: a Case Study." In the proceedings of 3rd ACM SIGPLAN workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2011), 2011. http://dx.doi.org/10.1145/2089155.2089170
Measuring Complexity and Completeness of KAOS Goal Models
Published in In the proceedings of International Workshop on Empirical Requirements Engineering (EmpiRE 2011), at the 19th International Requirements Engineering Conference (RE 2011), 2011
\url{http://dx.doi.org/10.1109/EmpiRE.2011.6046252}
Recommended citation: Patrícia Espada, Miguel Goulão, João Araújo, "Measuring Complexity and Completeness of KAOS Goal Models." In the proceedings of International Workshop on Empirical Requirements Engineering (EmpiRE 2011), at the 19th International Requirements Engineering Conference (RE 2011), 2011. http://dx.doi.org/10.1109/EmpiRE.2011.6046252
Streamlining scenario modeling with Model-Driven Development: a case study
Published in In the proceedings of Model-Driven Requirements Engineering Workshop (MoDRE 2011), at the 19th International Requirements Engineering Conference (RE 2011), 2011
Recommended citation: Miguel Goulão, Ana Moreira, João Araújo, Jo{\~a}o Santos, "Streamlining scenario modeling with Model-Driven Development: a case study." In the proceedings of Model-Driven Requirements Engineering Workshop (MoDRE 2011), at the 19th International Requirements Engineering Conference (RE 2011), 2011. http://dx.doi.org/10.1109/MoDRE.2011.6045367
Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches
Published in In the proceedings of 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012), 2012
Recommended citation: Rui Monteiro, João Araújo, Vasco Amaral, Miguel Goulão, Pedro Patr{\'\i}cio, "Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches." In the proceedings of 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012), 2012. http://dx.doi.org/10.1109/QUATIC.2012.38
Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study
Published in In the proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), 2012
Recommended citation: Miguel Goulão, Nelson Fonte, Michel Wermelinger, Fernando Abreu, "Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study." In the proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), 2012. http://doi.ieeecomputersociety.org/10.1109/CSMR.2012.30
Usability Evaluation of Domain-Specific Languages
Published in In the proceedings of Simp'osio de Estudantes de Doutoramento em Engenharia de Software (SEDES 2012), hosted by QUATIC 2012, 2012
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, "Usability Evaluation of Domain-Specific Languages." In the proceedings of Simp'osio de Estudantes de Doutoramento em Engenharia de Software (SEDES 2012), hosted by QUATIC 2012, 2012. http://dx.doi.org/10.1109/QUATIC.2012.63
Patterns for Evaluating Usability of Domain-Specific Languages
Published in In the proceedings of Proceedings of the Pattern Languages of Programs Conference, PLoP 2012, 2012
\url{http://hillside.net/plop/2012/papers/Group\%203\%20-\%20Coyote/Patterns\%20for\%20Evaluating\%20Usability\%20of\%20Domain-Specific\%20Languages.pdf}
Recommended citation: Ankica Bari{\v s}i{\'c}, Pedro Monteiro, Vasco Amaral, Miguel Goulão, Miguel Pessoa, "Patterns for Evaluating Usability of Domain-Specific Languages." In the proceedings of Proceedings of the Pattern Languages of Programs Conference, PLoP 2012, 2012. http://hillside.net/plop/2012/papers/Group\%203\%20-\%20Coyote/Patterns\%20for\%20Evaluating\%20Usability\%20of\%20Domain-Specific\%20Languages.pdf
Adding Interoperability to Requirements Models
Published in Software Quality Professional Journal, 2013
(c) American Society for Quality
Recommended citation: Rui Monteiro, João Araújo, Vasco Amaral, Miguel Goulão, Pedro Patrício, "Adding Interoperability to Requirements Models." Software Quality Professional Journal, 2013. http://asq.org/software-quality/2013/09/software-quality/adding-interoperability-to-requirements-models.pdf
Evaluating the Usability of Domain-Specific Languages
Published in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013
\url{https://dx.doi.org/10.4018/978-1-4666-2092-6.ch014}
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca, "Evaluating the Usability of Domain-Specific Languages." Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013. http://www.igi-global.com/book/formal-practical-aspects-domain-specific/66388
Using Aspects to Model Volatile Concerns
Published in Aspect-Oriented Requirements Engineering, 2013
\url{https://doi.org/10.1007/978-3-642-38640-4_10}
Recommended citation: Ana Moreira, João Araújo, Jon Whittle, Miguel Goulão, "Using Aspects to Model Volatile Concerns." Aspect-Oriented Requirements Engineering, 2013. http://link.springer.com/chapter/10.1007/978-3-642-38640-4\_10
Advanced Modularity for Building SPL Feature Models: a Model-Driven Approach
Published in In the proceedings of 28th ACM Symposium on Applied Computing, Requirements Engineering Track, ACM-SAC 2013, 2013
Recommended citation: João Araújo, Miguel Goulão, Ana Moreira, In{\^e}s Simão, Vasco Amaral, Elisa Baniassad, "Advanced Modularity for Building SPL Feature Models: a Model-Driven Approach." In the proceedings of 28th ACM Symposium on Applied Computing, Requirements Engineering Track, ACM-SAC 2013, 2013. http://dl.acm.org/citation.cfm?id=2480596
A Comparison of Maps Application Programming Interfaces
Published in In the proceedings of 16th AGILE Conference on Geographic Information Science, AGILE 2013, 2013
Recommended citation: Ana Fernandes, Miguel Goulão, Armanda Rodrigues, "A Comparison of Maps Application Programming Interfaces." In the proceedings of 16th AGILE Conference on Geographic Information Science, AGILE 2013, 2013. http://arxiv.org/abs/1305.3485
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models
Published in In the proceedings of 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, 2013
Recommended citation: Patr{\'\i}cia Espada, Miguel Goulão, João Araújo, "A Framework to Evaluate Complexity and Completeness of KAOS Goal Models." In the proceedings of 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, 2013. http://dx.doi.org/10.1007/978-3-642-38709-8_36
A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-Formedness Rules
Published in In the proceedings of 6th International i* (iStar) Workshop, 2013
Recommended citation: Catarina Almeida, Miguel Goulão, João Araújo, "A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-Formedness Rules." In the proceedings of 6th International i* (iStar) Workshop, 2013. http://ceur-ws.org/Vol-978/paper_8.pdf
Indirect Keyword Recommendation
Published in In the proceedings of Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014 IEEE/WIC/ACM International Joint Conferences on, 2014
Use Google Scholar for full citation
Recommended citation: André Sabino, Armanda Rodrigues, Miguel Goulão, Joao Gouveia, "Indirect Keyword Recommendation." In the proceedings of Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014 IEEE/WIC/ACM International Joint Conferences on, 2014.
Introducing usability concerns early in the DSL development cycle: FlowSL experience report
Published in In the proceedings of MD$_2$P$_2$ 2014--Model-Driven Development Processes and Practices Workshop Proceedings, 2014
\url{http://ceur-ws.org/Vol-1249/MD2P22014.pdf#page=13}
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, Ademar Aguiar, "Introducing usability concerns early in the DSL development cycle: FlowSL experience report." In the proceedings of MD$_2$P$_2$ 2014--Model-Driven Development Processes and Practices Workshop Proceedings, 2014. \url{http://ceur-ws.org/Vol-1249/MD2P22014.pdf\#page=13}
Identifying modularity improvement opportunities in goal-oriented requirements models
Published in In the proceedings of 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014, 2014
Use Google Scholar for full citation
Recommended citation: Catarina Gralha, Miguel Goulão, João Araújo, "Identifying modularity improvement opportunities in goal-oriented requirements models." In the proceedings of 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014, 2014.
Handling Non-Functional Requirements in Model-Driven Development: An Ongoing Industrial Survey
Published in In the proceedings of 23rd IEEE International Requirements Engineering Conference (RE 2015), 2015
\url{http://dx.doi.org/10.1109/RE.2015.7320424}
Recommended citation: David Ameller, Xavier Franch, Cristina G\'{o}mez, Joao Araujo, Richard Svensson, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Maya Daneva, Daniel Fern\'{a}ndez, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Hugo Bruneli{\`e}rek, Loli Burgue{\~n}o, Miguel Goulão, Bernhard Sch\"{a}tz, Sabine Teufl, "Handling Non-Functional Requirements in Model-Driven Development: An Ongoing Industrial Survey." In the proceedings of 23rd IEEE International Requirements Engineering Conference (RE 2015), 2015.
Metrics for measuring complexity and completeness for social goal models
Published in Information Systems, 2015
\url{http://dx.doi.org/10.1016/j.is.2015.03.006}
Recommended citation: Catarina Gralha, João Araújo, Miguel Goulão, "Metrics for measuring complexity and completeness for social goal models." Information Systems, 2015. \url{http://dx.doi.org/10.1016/j.is.2015.03.006}
Quality in Model-Driven Engineering: A tertiary study
Published in Software Quality Journal, 2016
\url{http://dx.doi.org/10.1007/s11219-016-9324-8}
Recommended citation: Miguel Goulão, Vasco Amaral, Marjan Mernik, "Quality in Model-Driven Engineering: A tertiary study." Software Quality Journal, 2016.
Usability of Requirements Techniques: A Systematic Literature Review
Published in In the proceedings of 31st ACM/SIGAPP Symposium on Applied Computing, 2016
\url{http://dx.doi.org/10.1145/2851613.2851758}
Recommended citation: Denise Bombonatti, Catarina Gralha, Ana Moreira, João Araujo, Miguel Goulão, "Usability of Requirements Techniques: A Systematic Literature Review." In the proceedings of 31st ACM/SIGAPP Symposium on Applied Computing, 2016.
Towards a Model about Quality of Software Requirements Specification in Agile Projects
Published in In the proceedings of 10th International Conference on the Quality of Information and Communications Technology (QUATIC 2016), 2016
\url{https://doi.org/10.1109/QUATIC.2016.058}
Recommended citation: Juliana Medeiros, Miguel Goulão, Alexandre Vasconcelos, Carla Silva, "Towards a Model about Quality of Software Requirements Specification in Agile Projects." In the proceedings of 10th International Conference on the Quality of Information and Communications Technology (QUATIC 2016), 2016. https://doi.org/10.1109/QUATIC.2016.058
What is the Impact of Bad Layout in the Understandability of Social Goal Models?
Published in In the proceedings of 24th IEEE International Conference on Requirements Engineering (RE 2016), 2016
\url{https://doi.org/10.1109/RE.2016.51}
Recommended citation: Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araujo, Ana Moreira, João Cambeiro, "What is the Impact of Bad Layout in the Understandability of Social Goal Models?." In the proceedings of 24th IEEE International Conference on Requirements Engineering (RE 2016), 2016. https://doi.org/10.1109/RE.2016.51
Exploring Views for Goal-Oriented Requirements Comprehension
Published in In the proceedings of 35th International Conference on Conceptual Modeling (ER 2016), 2016
\url{http://dx.doi.org/10.1007/978-3-319-46397-1_12}
Recommended citation: Lyrene Silva, Ana Moreira, João Araújo, Catarina Gralha, Miguel Goulão, Vasco Amaral, "Exploring Views for Goal-Oriented Requirements Comprehension." In the proceedings of 35th International Conference on Conceptual Modeling (ER 2016), 2016. http://dx.doi.org/10.1007/978-3-319-46397-1_12
An approach based on design practices to specify requirements in agile projects
Published in In the proceedings of 32nd ACM Symposium on Applied Computing (SAC 2017), 2017
\url{https://doi.org/10.1145/3019612.3019753}
Recommended citation: Juliana Medeiros, Alexandre Vasconcelos, Miguel Goulão, Carla Silva, João Araújo, "An approach based on design practices to specify requirements in agile projects." In the proceedings of 32nd ACM Symposium on Applied Computing (SAC 2017), 2017. https://doi.org/10.1145/3019612.3019753
Developing a Mutually-Recognized Cross-Domain Study Program in Cyber-Physical Systems
Published in In the proceedings of 8th IEEE Global Engineering Education Conference (EDUCON 2017), 2017
\url{https://doi.org/10.1109/EDUCON.2017.7942937}
Recommended citation: Anatolijs Zabasta, Oksana Nikiforova, Nadezda Kunicina, Uldis Sukovskis, Leonids Ribickis, Vasco Amaral, Paulo Carreira, Miguel Goulão, "Developing a Mutually-Recognized Cross-Domain Study Program in Cyber-Physical Systems." In the proceedings of 8th IEEE Global Engineering Education Conference (EDUCON 2017), 2017.
Requirements Engineering for Cloud Systems: A Mapping Study Design
Published in In the proceedings of Computational Science and Its Applications -- ICCSA 2017: 17th International Conference, Proceedings, Part VI, 2017
\url{https://doi.org/10.1007/978-3-319-62407-5_24}
Recommended citation: Fernando Wanderley, Eric Souza, Miguel Goulão, Joao Araujo, Gilberto Cysneiros, Ananya Misra, "Requirements Engineering for Cloud Systems: A Mapping Study Design." In the proceedings of Computational Science and Its Applications -- ICCSA 2017: 17th International Conference, Proceedings, Part VI, 2017. https://doi.org/10.1007/978-3-319-62407-5\_{}24
Synergies and Tradeoffs in Software Reuse – a Systematic Mapping Study
Published in Software Practice and Experience, 2017
\url{http://onlinelibrary.wiley.com/doi/10.1002/spe.2416/full}
Recommended citation: Denise Bombonatti, Miguel Goulão, Ana Moreira, "Synergies and Tradeoffs in Software Reuse -- a Systematic Mapping Study." Software Practice and Experience, 2017. http://onlinelibrary.wiley.com/doi/10.1002/spe.2416/full
A Requirements Engineering Approach for Usability-Driven DSL Development
Published in In the proceedings of 10th International Conference on Software Language Engineering, SLE 2017, 2017
Use Google Scholar for full citation
Recommended citation: Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulão, "A Requirements Engineering Approach for Usability-Driven DSL Development." In the proceedings of 10th International Conference on Software Language Engineering, SLE 2017, 2017.
Usability Driven DSL development with USE-ME
Published in Computer Languages, Systems and Structures, 2018
\url{https://doi.org/10.1016/j.cl.2017.06.005}
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, "Usability Driven DSL development with USE-ME." Computer Languages, Systems and Structures, 2018. https://doi.org/10.1016/j.cl.2017.06.005
Leveraging Teenagers Feedback in the Development of a Domain-Specific Language: The Case of Programming Low-Cost Robots
Published in In the proceedings of The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM/SAC 2018), Technical Track on ``Programming Languages'', 2018
Use Google Scholar for full citation
Recommended citation: Ankica Barisic, Vasco Amaral, Miguel Goulão, Tarquinio Mota, "Leveraging Teenagers Feedback in the Development of a Domain-Specific Language: The Case of Programming Low-Cost Robots." In the proceedings of The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM/SAC 2018), Technical Track on ``Programming Languages'', 2018.
The Evolution of Requirements Practices in Software Startups
Published in In the proceedings of 40th International Conference on Software Engineering (ICSE 2018), 2018
\url{https://doi.org/10.1145/3180155.3180158}
Recommended citation: Catarina Gralha, Daniela Damian, Tony Wasserman, Miguel Goulão, João Araujo, "The Evolution of Requirements Practices in Software Startups." In the proceedings of 40th International Conference on Software Engineering (ICSE 2018), 2018. https://doi.org/10.1145/3180155.3180158
Improving the Usability of a MAS DSML
Published in In the proceedings of 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 2018
Use Google Scholar for full citation
Recommended citation: Tomás Miranda, Moharram Challenger, Baris Tezel, {\"O}mer Alaca, Vasco Amaral, Miguel Goulão, Geylani Kardas, "Improving the Usability of a MAS DSML." In the proceedings of 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 2018.
On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Models
Published in In the proceedings of 26th IEEE International Conference on Requirements Engineering (RE 2018), 2018
Use Google Scholar for full citation
Recommended citation: Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araujo, Ana Moreira, "On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Models." In the proceedings of 26th IEEE International Conference on Requirements Engineering (RE 2018), 2018.
Quality of software requirements specification in agile projects: A cross-case analysis of six companies
Published in Journal of Systems and Software, 2018
(selected for Journal-First Track of PROFES 2019) \url{https://doi.org/10.1016/j.jss.2018.04.064}
Recommended citation: Juliana Medeiros, Alexandre Vasconcelos, Carla Silva, Miguel Goulão, "Quality of software requirements specification in agile projects: A cross-case analysis of six companies." Journal of Systems and Software, 2018. https://doi.org/10.1016/j.jss.2018.04.064
Comparing the Usability of two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS Study Design
Published in In the proceedings of Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), 2018
\url{http://ceur-ws.org/Vol-2245/hufamo_paper_6.pdf}
Recommended citation: João Silva, Ankica Barisic, Vasco Amaral, Miguel Goulão, Baris Tezel, {\"O}mer Alaca, Moharram Challenger, Geylani Kardas, "Comparing the Usability of two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS Study Design." In the proceedings of Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), 2018.
Evaluating the efficiency of using a search-based automated model merge technique
Published in In the proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, 2018
Use Google Scholar for full citation
Recommended citation: Ankica Barisic, Csaba Debrecani, Daniel Varro, Vasco Amaral, Miguel Goulão, "Evaluating the efficiency of using a search-based automated model merge technique." In the proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, 2018.
Improving the Developer Experience with a Low-Code Process Modelling Language
Published in In the proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2018
Use Google Scholar for full citation
Recommended citation: Henrique Henriques, Hugo Lourenço, Vasco Amaral, Miguel Goulão, "Improving the Developer Experience with a Low-Code Process Modelling Language." In the proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), 2018.
Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax
Published in In the proceedings of 37th International Conference on Conceptual Modeling (ER 2018), 2018
\url{https://doi.org/10.1007/978-3-030-00847-5_30}
Recommended citation: Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araujo, "Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax." In the proceedings of 37th International Conference on Conceptual Modeling (ER 2018), 2018. https://doi.org/10.1007/978-3-030-00847-5_30
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
Published in Transactions on Software Engineering, 2019
\url{https://doi.org/10.1109/TSE.2019.2904476}
Recommended citation: David Ameller, Xavier Franch, Cristina G{\'o}mez, Silverio Martínez-Fern{\'a}ndez, João Araújo, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Daniel Fern{\'a}ndez, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Wolfgang B{\"o}hm, Hugo Bruneliere, Loli Burgueño, Miguel Goulão, Sabine Teufl, Luca Berardinelli, "Dealing with Non-Functional Requirements in Model-Driven Development: A Survey." Transactions on Software Engineering, 2019. https://doi.org/10.1109/TSE.2019.2904476
Deriving architectural models from requirements specifications: A systematic mapping study
Published in Information and Software Technology, 2019
\url{https://doi.org/10.1016/j.infsof.2019.01.004}
Recommended citation: Eric Souza, Ana Moreira, Miguel Goulão, "Deriving architectural models from requirements specifications: A systematic mapping study." Information and Software Technology, 2019. https://doi.org/10.1016/j.infsof.2019.01.004
Improving the Usability of a MAS DSML
Published in In the proceedings of 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 2019
\url{https://doi.org/10.1007/978-3-030-25693-7_4}
Recommended citation: Tomás Miranda, Moharram Challenger, Baris Tezel, Ömer Alaca, Ankica Barisic, Vasco Amaral, Miguel Goulão, Geylani Kardas, "Improving the Usability of a MAS DSML." In the proceedings of 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), 2019. https://doi.org/10.1007/978-3-030-25693-7_4
Analysing gender differences in building social goal models: a quasi-experiment
Published in In the proceedings of 27th IEEE International Requirements Engineering Conference, 2019
\url{https://doi.org/10.1109/RE.2019.00027}
Recommended citation: Catarina Gralha, Miguel Goulão, João Araujo, "Analysing gender differences in building social goal models: a quasi-experiment." In the proceedings of 27th IEEE International Requirements Engineering Conference, 2019.
Addressing Symbol Redundancy Representations in iStar Extensions
Published in In the proceedings of 12th International i* Workshop, iStar 2019, 2019
Use Google Scholar for full citation
Recommended citation: Enyo Gonçalves, Camilo Almendra, João Araujo, Jaelson Castro, Miguel Goulão, "Addressing Symbol Redundancy Representations in iStar Extensions." In the proceedings of 12th International i* Workshop, iStar 2019, 2019.
Using empirical studies to mitigate symbol overload in iStar extensions
Published in Software and Systems Modeling, 2019
\url{https://doi.org/10.1007/s10270-019-00770-9}
Recommended citation: Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, Jaelson Castro, "Using empirical studies to mitigate symbol overload in iStar extensions." Software and Systems Modeling, 2019.
Are there gender differences when interacting with social goal models?
Published in Empirical Software Engineering, 2020
\url{https://doi.org/10.1007/s10664-020-09883-y}
Recommended citation: Catarina Gralha, Miguel Goulão, João Araújo, "Are there gender differences when interacting with social goal models?." Empirical Software Engineering, 2020.
Requirements Specification for Developers in Agile Projects: Evaluation by two Industrial Case Studies
Published in Information and Software Technology, 2020
\url{https://doi.org/10.1016/j.infsof.2019.106194}
Recommended citation: Juliana Medeiros, Alexandre Vasconcelos, Carla Silva, Miguel Goulão, "Requirements Specification for Developers in Agile Projects: Evaluation by two Industrial Case Studies." Information and Software Technology, 2020.
Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study
Published in Parallel Computing, 2020
\url{https://doi.org/10.1016/j.parco.2019.102584}
Recommended citation: Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luís Correia, Clemens Grelck, Helen Karatzah, Christoph Kessler, Peter Kilpatrick, Hugo Martiniano, Ilias Mavridish, Sabri Pllana, Ana Respício, José Simão, Luís Veiga, Ari Visa, "Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study." Parallel Computing, 2020.
Agent-based cyber-physical system development with SEA_ML++
Published in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021
Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are inherently cross-disciplinary in nature and require distinct modeling techniques related to different disciplines, as well as a common background knowledge. This book will serve as a reference for anyone starting in the field of CPS who needs a solid foundation of modeling, including a comprehensive introduction to existing techniques and a clear explanation of their advantages and limitations. This book is aimed at both researchers and practitioners who are interested in various modeling paradigms across computer science and engineering.
Recommended citation: Moharram Challenger, Baris Tekin, Vasco Amaral, Miguel Goulão, Geylani Kardas, "Agent-based cyber-physical system development with SEA_ML++." Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021. \url{https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7}
Introduction
Published in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021
Recommended citation: Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goulão, Paulo Carreira, Vasco Amaral, "Introduction." Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021. \url{https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7}
AgentDSM-Eval: A Framework for the Evaluation of Domain-specific Modeling Languages for Multi-agent Systems
Published in Computer Standards and Interfaces, 2021
we introduce an evaluation framework, called AgentDSM-Eval, with its supporting tool which can be used to evaluate MAS DSMLs systematically according to various quantitative and qualitative aspects of agent software development.
Recommended citation: Ömer Alaca, Baris Tezel, Moharram Challenger, Miguel Goulão, Vasco Amaral, Geylani Kardas, "AgentDSM-Eval: A Framework for the Evaluation of Domain-specific Modeling Languages for Multi-agent Systems." Computer Standards and Interfaces, 2021. https://doi.org/10.1016/j.csi.2021.103513
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
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
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
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
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
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
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
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
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
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
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
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
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Software Engineering
Undergraduate course - Computer Science and Engineering, NOVA School of Science and Technology, Department of Computer Science, 2024
Find course materials in Moodle.
Object-Oriented Programming
Undergraduate Course - Computer Science and Engineering, Nova School of Science and Technology, Department of Computer Science, 2025
Find course materials in Moodle.