Marinos Georgiades - Software Engineering Lecturer at University of Tartu

Marinos Georgiades

Lecturer of Software Engineering

University of Tartu, Institute of Computer Science

CV
Curriculum Vitae
I obtained a BSc and a PhD in Computer Science from the University of Cyprus, and an MSc in Information Management from the University of Sheffield, United Kingdom. My research is centered on the structural formalization and tool-driven automation of Requirements Engineering, with a primary focus on use case modeling and specification.

My research is centered in the field of Requirements Engineering (RE), with a primary goal of improving the methods, processes, and tools for defining, documenting, and maintaining software requirements. My work intersects several key areas:

Use Case Modeling and Specification

I work on the formalization of use case specifications through the development of grammars and patterns. This work moves requirements beyond informal descriptions, producing structured, consistent, and unambiguous engineered artifacts that provide a guided framework for the Requirements Engineering (RE) process.

Automation in Requirements Engineering

A primary focus of my research is the automation of the RE process. I work on developing software tools that can automatically generate various requirements artifacts, such as use case specifications and test cases.

Automation of Software Project Management

I am also interested in extending the automation pipeline from requirements into software project management. This involves researching methods to automatically transform detailed use case specifications into structured development tasks, such as those used in project management tools like Jira, streamlining the workflow from specification to implementation.

Requirements and System Design Integration

My work bridges the gap between requirements and early system design. I have developed a use case grammar that distinguishes between design-free specifications (capturing functional requirements) and design-dependent specifications which incorporate supplementary details related to User Interface (UI) and management of data and data constraints.

NLP and LLMs in Requirements Engineering

I apply Natural Language Processing (NLP) techniques and Large Language Models (LLMs) to process requirements. This involves using AI to understand unstructured text, identify key domain concepts, and automatically generate structured specifications that conform to formal models and grammars.

Chapters in Refereed Volumes

  1. Georgiades, M. (2025). An EBNF-Based Grammar for Use Case Specification. In: Marcinkowski, B., et al. Advances in Information Systems Development. Lecture Notes in Information Systems and Organisation, vol 77. Springer, Cham. View Chapter

Refereed Conference Papers

  1. Georgiades, M. (2024). A Use Case Grammar for Requirements Specification. In B. Marcinkowski, A. Przybylek, A. Jarzębowicz, N. Iivari, E. Insfran, M. Lang, H. Linger, & C. Schneider (Eds.), Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings). Gdańsk, Poland: University of Gdańsk. ISBN: 978-83-972632-0-8.
    Rank: CORE A. Selected as one of the best papers of the conference and invited to provide an extended version for Springer. View Paper
  2. Georgiades, M. and Andreou, A. 2013. Patterns for Use Case Context and Content. In Proceedings of the 13th International Conference on Software Reuse (ICSR), (Pisa, Italy) (Keynote speaker: Ivar Jacobson). Lecture Notes in Computer Science, Volume 7925, 267-282. Springer, Berlin, Heidelberg.
    Rank: CORE A. View Paper
  3. Georgiades, M. and Andreou, A. 2010. Automatic generation of a Software Requirements Specification (SRS) document. In Proceedings of the 10th International Conference on Intelligent Systems Design and Applications (Cairo, Egypt, November). IEEE Xplore, 1095-1100 doi: 10.1109/ISDA.2010.5687039.
    Best Student Paper Award View Paper
  4. Georgiades, M., Andreou, A., and Pattichis, C. 2005. A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics. In Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05) (Paris, France, August). IEEE Computer Society, Washington, 73-74.
    Rank: CORE A. View Paper
  5. Georgiades, M. and Andreou, A. 2012. A Semantic Formalization for Use Case Modeling. In Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS), (Wroclaw, Poland, June), 172-175. View Paper
  6. Georgiades, M. and Andreou, A. 2010. A Novel Software Tool for Supporting and Automating the Requirements Engineering Process With the Use of Natural Language. In Proceedings of the ICSCT International Conference on Software and Computing Technology (Kunming, China, October). IEEE Press, 256-263.
  7. Georgiades, M. and Andreou, A. 2010. A Novel Methodology to Formalize the Requirements Engineering Process with the Use of Natural Language. In Proceedings of the IADIS Conference on Applied Computing (Timisoara, Romania, October). IADIS Digital Library, 11-18. View Paper

Refereed Journal Papers

  1. Georgiades, M. and Andreou, A. 2013. A Novel Software Tool for Supporting and Automating the Requirements Engineering Process with the Use of Natural Language, International Journal of Computer Theory and Engineering, Vol 5(3), 443-449. View Paper
  2. Georgiades, M. and Andreou, A. 2012. Formalizing and Automating Use Case Model Development, The Open Software Engineering Journal, Vol (6), 21-40. View Paper

Awards

  1. Best Student Paper Award
    "Automatic generation of a Software Requirements Specification (SRS) document", IEEE ISDA 2010, Cairo, Egypt. View Paper

Distinguished Papers

  1. "A Use Case Grammar for Requirements Specification", ISD 2024 Conference (Rank A).
    Paper selected among Best Papers (non‑award‑winning). View Paper

Invited Publications

  1. "A EBNF‑Based Grammar for Use Case Specification"
    Invited book chapter in Springer (Lecture Notes in Information Systems and Organisation). View Chapter
© 2026 Marinos Georgiades • University of Tartu