PV258 Software Requirements Engineering

Faculty of Informatics
Spring 2025
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
Bruno Rossi, PhD (lecturer)
Radmila Čermáková (assistant)
Guaranteed by
Bruno Rossi, PhD
Department of Computer Systems and Communications – Faculty of Informatics
Supplier department: Department of Computer Systems and Communications – Faculty of Informatics
Prerequisites
No prerequisites are compulsory. The students are expected to have an understanding of software development models and different UML diagram types (as taught in the PB007 Software Engineering course). The course is taught entirely in the English language.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
The capacity limit for the course is 40 student(s).
Current registration and enrolment status: enrolled: 0/40, only registered: 0/40, only registered with preference (fields directly associated with the programme): 0/40
fields of study / plans the course is directly associated with
there are 39 fields of study the course is directly associated with, display
Course objectives
Objectives of the course are to:
provide an overview of different Software Requirements types (functional vs non-functional (quality), constraints, business requirements, business rules, user and system requirements);
explain the Software Requirements Process (ISO/IEC/IEEE 29148 Standard for Requirements Engineering) also in agile contexts;
provide the instruments for the definition of user requirements;
model Non-Functional Requirements (NFR);
describe different software requirements elicitation modalities;
provide approaches for requirements analysis and verification & validation;
provide approaches to manage requirements prioritization;
describe the software architecture and the relevance in the context of software requirements.
describe how to decompose system models: abstraction, & different system views for the definition of the software architecture from the requirements;
Learning outcomes
At the end of the course students will:
have a clear understanding about processes, tools and techniques used in requirements engineering;
understand the concepts of software requirements elicitation, modelling, validation and verification;
be able to model software requirements rigorously according to the latest requirements engineering standards;
be able to conduct a prioritization process for software requirements according to different approaches;
be able to make a reasoned choice about the best approach for requirements modelling given the context of a project;
be able to proper manage requirements and their quality concerns;
understand the differences between different requirements modelling approaches (agile and non-agile);
be able to generate and maintain a software requirements specification document
Syllabus
  • Software Requirements types (functional vs non-functional, constraints, business requirements, business rules, user and system requirements);
  • The Software Requirements Process (ISO/IEC/IEEE 29148 Standard for Requirements Engineering);
  • Business Requirements: vision, scope, context diagram, ecosystem maps, events lists, feature trees, the goal-design scale;
  • User Requirements: User Stories & Use cases modelling. Best ways to derive user requirements;
  • Requirements elicitation modalities: stakeholders Analysis, design/brainstorming workshops, prototyping, pilot experiments, cost/benefit & risk analysis: event storming technique;
  • Requirements analysis. (C)lass (R)esponsability (C)ollaborators cards. Linking Requirements to UML Analysis Models, usage of C4 Modelling. Object Constraint Language (OCL). Adoption of Domain Driven Design: tactical vs strategical level;
  • Requirements Verification & Validation: Consistency checks, CRUD checks, Acceptance Testing. Generation of Acceptance Criteria;
  • Managing requirements prioritization. Analytic Hierarchy (AHP) process, Software Quality Deployment Function (SQFD), the Agile Planning Game;
  • Adoption of Generative AI in Software Requirements Engineering: patterns for prompts, approaches according to different RE phases, benefits/drawbacks, and potential threats;
  • Emergence of the software architecture from requirements. Decomposing system models: abstraction, & different system views. The Attribute-Driven Design (ADD) Method;
  • Modelling Non-Functional Requirements (NFR): SQuaRE (Software product Quality Requirements and Evaluation) & ISO/IEC 9126 & 25010;
Literature
    recommended literature
  • Wiegers, K. E., & Beatty, J. (2013). Software Requirements. Pearson Education. ISBN-13: 9780735679627
  • Meyer, B. (2022). Handbook of Requirements and Business Analysis. Cham: Springer. ISBN: 978-3031067389
  • BASS, Len, Paul CLEMENTS and Rick KAZMAN. Software architecture in practice. 2nd ed. Boston: Addison-Wesley, 2003, xxii, 528. ISBN 0321154959. info
  • Vernon, V. (2013). Implementing domain-driven design. Addison-Wesley. ISBN: 978-0321834577
Teaching methods
Frontal lectures. Students will be requested to develop a platform in teams with the support of Generative AI to identify weaknesses and revise a large set of provided software requirements specifications (two domains). Students will be requested to discuss the benefits and limitations of their platform in all phases of the RE process.
Assessment methods
100 minutes examination with questions about the material seen during the course.
Language of instruction
English
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019, Spring 2020, Spring 2021, Spring 2022, Spring 2023, Spring 2024.
  • Enrolment Statistics (Spring 2025, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2025/PV258