References

Adzic, Gojko. 2012. Impact Mapping: Making a Big Impact with Software Products and Projects. Provoking Thoughts.

Aguilera, David, Cristina Gomez, and Antoni Olive. 2013. “A Complete Set of Guidelines for Naming UML Conceptual Schema Elements.” Data & Knowledge Engineering 88: 60–74.

Alexander, Ian F, and Neil Maiden. 2005. Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle. John Wiley & Sons.

Aniche, Maurício. 2022. Effective Software Testing: A Developer’s Guide. Manning.

Arora, Chetan, Mehrdad Sabetzadeh, Shiva Nejati, and Lionel Briand. 2019. “An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction.” ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (1): 1–34.

Bass, Len, Paul Clements, and Rick Kazman. 2012. Software Architecture in Practice. Third. Addison-Wesley Professional.

Boissenin, Stéphane, and Elisabeth Salavy. 2010. “A320 Family/Evolution of Groundspoiler Logic.” Safety First Magazine 09.

Bragilovski, Maxim, Ashley T van Can, Fabiano Dalpiaz, and Arnon Sturm. 2025. “Leveraging Machines to Derive Domain Models from User Stories.” Requirements Engineering, 1–23.

Brun, Yuriy, and Alexandra Meliou. 2018. “Software Fairness.” In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 754–59.

Checkland, Peter, and John Poulter. 2007. Learning for Action: A Short Definitive Account of Soft Systems Methodology, and Its Use for Practitioners, Teachers and Students. John Wiley & Sons.

Chen, Anthony, and Joy Beatty. 2012. Visual Models for Software Requirements. Pearson Education.

Chen, Kua, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, and Dániel Varró. 2023. “Automated Domain Modeling with Large Language Models: A Comparative Study.” In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), 162–72. IEEE.

Cockburn, Alistair. 1997. “Structuring Use Cases with Goals.” Journal of Object-Oriented Programming 10 (5): 56–62.

———. 2000. Writing Effective Use Cases. Addison-Wesley Professional.

DeMarco, Tom. 1979. Structured Analysis and System Specification. Prentice-Hall.

Dick, Jeremy, Elizabeth Hull, and Ken Jackson. 2017. Requirements Engineering, 4th Edition. Springer.

Easterbrook, Steve. 2006. “Requirements Engineering - University of Toronto Course.” http://www.cs.toronto.edu/~sme/CSC340F.

Evans, Eric. 2004. Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley Professional.

Ferrario, Maria Angela, Will Simm, Stephen Forshaw, Adrian Gradinar, Marcia Tavares Smith, and Ian Smith. 2016. “Values-First SE: Research Principles in Practice.” In 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-c), 553–62. IEEE.

Finkelstein, Anthony, and John Dowell. 1996. “A Comedy of Errors: The London Ambulance Service Case Study.” In Proceedings of the 8th International Workshop on Software Specification and Design.

Finkelstein, Anthony, Jeff Kramer, Bashar Nuseibeh, Ludwik Finkelstein, and Michael Goedicke. 1992. “Viewpoints: A Framework for Integrating Multiple Perspectives in System Development.” International Journal of Software Engineering and Knowledge Engineering 2 (01): 31–57.

Fowler, Martin. 2003. UML Distilled: A Brief Guide to the Standard Object Modeling Language. 3rd ed. Addison-Wesley Professional.

Gabriel, Iason. 2020. “Artificial Intelligence, Values, and Alignment.” Minds and Machines 30 (3): 411–37.

Glinz, Martin. 2020. A Glossary of Requirements Engineering Terminology. International Requirements Engineering Board (https://cpre.ireb.org/en/downloads-and-resources/glossary).

Gotterbarn, Donald, Keith Miller, Simon Rogerson, Steve Barber, Peter Barnes, Ilene Burnstein, Michael Davis, et al. 2001. “Software Engineering Code of Ethics and Professional Practice.” Science and Engineering Ethics 7 (2): 231–38.

Gottesdiener, Ellen. 2002. Requirements by Collaboration: Workshops for Defining Needs. Addison-Wesley Professional.

Hall, Anthony. 2010. “E = mc² Explained.” In Software Requirements and Design: The Work of Michael Jackson, edited by Bashar Nuseibeh and Pamela Zave. Good Friends Publishing Company.

Hammond, Jonathan, Rosamund Rawlings, and Anthony Hall. 2001. “Will It Work?” In Proceedings Fifth IEEE International Symposium on Requirements Engineering, 102–9. IEEE.

Hofer, Stefan, and Henning Schwentner. 2021a. Domain Storytelling: A Collaborative, Visual, and Agile Way to Build Domain-Driven Software. Pearson Education.

———. 2021b. Domain Storytelling: A Collaborative, Visual, and Agile Way to Build Domain-Driven Software. Addison-Wesley Professional.

Howard, Ronald Arthur, Clinton D Korver, and Bill Birchard. 2008. Ethics for the Real World: Creating a Personal Code to Guide Decisions in Work and Life. Harvard Business Press.

Hussain, Waqar, Harsha Perera, Jon Whittle, Arif Nurwidyantoro, Rashina Hoda, Rifat Ara Shams, and Gillian Oliver. 2020. “Human Values in Software Engineering: Contrasting Case Studies of Practice.” IEEE Transactions on Software Engineering.

IEEE. 2018. “ISO/IEC/IEEE International Standard - Systems and Software Engineering – Life Cycle Processes – Requirements Engineering.”

Jackson, Michael. 1995a. Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press/Addison-Wesley Publishing Co.

———. 1995b. “The World and the Machine.” In 17th International Conference on Software Engineering (ICSE’95).

———. 2001. Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley.

Jackson, Michael, and Pamela Zave. 1995. “Deriving Specifications from Requirements: An Example.” In 17th International Conference on Software Engineering (ICSE’95).

Jacobson, Ivar. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley Professional.

Kniberg, Henrick. 2013. “What Is Agile?” 2013. https://blog.crisp.se/wp-content/uploads/2013/08/20130820-What-is-Agile.pdf.

Kotonya, Gerald, and Ian Sommerville. 1996. “Requirements Engineering with Viewpoints.” Software Engineering Journal 11 (1): 5–18.

Koymans, Ron. 1990. “Specifying Real-Time Properties with Metric Temporal Logic.” Real-Time Systems 2 (4): 255–99.

Ladkin, Peter B. 1995. “Analysis of a Technical Description of the Airbus A320 Braking System.” High Integrity Systems 1: 331–50.

Lamsweerde, Axel van. 2008. “Requirements Engineering: From Craft to Discipline.” In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 238–49.

———. 2009. Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons.

Larman, Craig, and Victor R Basili. 2003. “Iterative and Incremental Developments: A Brief History.” Computer 36 (6): 47–56.

Letier, Emmanuel. 2001. “Reasoning about Agents in Goal-Oriented Requirements Engineering.” PhD thesis, Université catholique de Louvain. http://www0.cs.ucl.ac.uk/staff/e.letier/publications/letier-thesis.pdf.

Letier, Emmanuel, and William Heaven. 2013. “Requirements Modelling by Synthesis of Deontic Input-Output Automata.” In 2013 35th International Conference on Software Engineering (ICSE), 592–601. IEEE.

Letier, Emmanuel, and Axel Van Lamsweerde. 2002. “Agent-Based Tactics for Goal-Oriented Requirements Elaboration.” In Proceedings of the 24th International Conference on Software Engineering, 83–93.

Manna, Zohar, and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems: Specifications. Vol. 1. Springer Science & Business Media.

Nagy, Gáspár, and Seb Rose. 2018. The BDD Books-Discovery: Explore Behaviour Using Examples. Leanpub.

Nahar, N., H. Zhang, G. Lewis, S. Zhou, and C. Kastner. 2023. “A Meta-Summary of Challenges in Building Products with ML Components – Collecting Experiences from 4758+ Practitioners.” In 2023 IEEE/ACM 2nd International Conference on AI Engineering – Software Engineering for AI (CAIN), 171–83. IEEE Computer Society. https://doi.org/10.1109/CAIN58948.2023.00034.

Nuseibeh, Bashar. 2001. “Weaving Together Requirements and Architectures.” Computer 34 (3): 115–19.

Nuseibeh, Bashar, and Steve Easterbrook. 2000. “Requirements Engineering: A Roadmap.” In Proceedings of the Conference on the Future of Software Engineering. ICSE ’00. Limerick, Ireland.

Parnas, David Lorge, and Jan Madey. 1995. “Functional Documents for Computer Systems.” Science of Computer Programming 25 (1): 41–61.

Patton, Jeff. 2014. User Story Mapping: Discover the Whole Story, Build the Right Product. O’Reilly.

Pezzè, Mauro, and Michal Young. 2008. Software Testing and Analysis: Process, Principles, and Techniques. John Wiley & Sons.

Richards, Mark, and Neal Ford. 2020. Fundamentals of Software Architecture: An Engineering Approach. O’Reilly Media.

Robertson, Suzanne, and James Robertson. 2012. Mastering the Requirements Process: Getting Requirements Right, 3rd Edition. Addison-wesley.

Rook, Paul. 1986. “Controlling Software Projects.” Software Engineering Journal 1 (1): 7–16.

Rose, Seb, and Gáspár Nagy. 2021. The BDD Books-Formulation: Document Examples with Given/When/Then. Leanpub.

Rose, Seb, Matt Wynne, and Aslak Hellesoy. 2015. The Cucumber for Java Book: Behaviour-Driven Development for Testers and Developers. The Pragmatic Bookshelf.

Rosenthal, Kristina, Stefan Strecker, and Monique Snoeck. 2023. “Modeling Difficulties in Creating Conceptual Data Models: Multimodal Studies on Individual Modeling Processes.” Software and Systems Modeling 22 (3): 1005–30.

Royce, Winston W. 1970. “Managing the Development of Large Software Systems: Concepts and Techniques.” In IEEE WESCON.

Rozanski, Nick, and Eoin Woods. 2012. Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives. Addison-Wesley.

Ryan, Kevin. 2020. “We Should Teach Our Students What Industry Doesn’t Want.” In 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 103–6. IEEE.

Saini, Rijul, Gunter Mussbacher, Jin LC Guo, and Jörg Kienzle. 2022. “Machine Learning-Based Incremental Learning in Interactive Domain Modelling.” In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 176–86.

Scharinger, Boris, Markus Borg, Andreas Vogelsang, and Thomas Olsson. 2022. “Can RE Help Better Prepare Industrial AI for Commercial Scale?” IEEE Software 39 (6): 8–12.

Smart, John Ferguson. 2023. BDD in Action: Behavior-Driven Development for the Whole Software Lifecycle, 2nd Edition. Manning.

Snoeck, Monique, and Oscar Pastor. 2025. “Teaching Conceptual Modelling in the Age of LLMs: Shifting from Model Creation to Model Evaluation Skills.” Software and Systems Modeling, 1–11.

South West Thames Regional Health Authority. 1993. “Report of the Inquiry into the London Ambulance Service.” http://www0.cs.ucl.ac.uk/staff/a.finkelstein/las/lascase0.9.pdf.

Swartout, William, and Robert Balzer. 1982. “On the Inevitable Intertwining of Specification and Implementation.” Communications of the ACM 25 (7): 438–40.

Valle, Isadora, Tiago Prince Sales, Eduardo Guerra, Maya Daneva, Renata Guizzardi, Luiz Olavo Bonino da Silva Santos, Henderik A Proper, and Giancarlo Guizzardi. 2025. “Unraveling the Pain Points of Domain Modeling.” Information and Software Technology 183: 107736.

Valle, Isadora, Tiago Prince Sales, Eduardo Guerra, Maya Daneva, Luiz Olavo Bonino da Silva Santos, Henderik Proper, and Giancarlo Guizzardi. 2025. “Mapping the Pain: How Modelers Experience and Respond to Common Domain Modeling Frustrations.” In Proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing (EDOC 2025). Lisbon, Portugal.

Vernon, Vaughn. 2016. Domain-Driven Design Distilled. Addison-Wesley Professional.

Washizaki, Hironori, ed. 2024. Guide to the Software Engineering Body of Knowledge (SWEBOK Guide). 4.0 ed. IEEE Computer Society. http://www.swebok.org.

Wiegers, Karl, and Joy Beatty. 2013. Software Requirements, 3rd Edition. Pearson Education.

Woodcock, Jim, and Jim Davies. 1996. Using z: Specification, Refinement, and Proof. Pearson.

Zave, Pamela. 1997. “Classification of Research Efforts in Requirements Engineering.” ACM Computing Surveys 29 (4): 315–21.

Zave, Pamela, and Michael Jackson. 1997. “Four Dark Corners of Requirements Engineering.” ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (1): 1–30.