Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
Four modules to be chosen among the following2° Year It will be activated in the A.Y. 2026/2027
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
Four modules to be chosen among the following| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
Two modules to be chosen mong the following
- A.A. 2025/2026 Web applications not activated
- A.A. 2026/2027 Automated software verification not activatedThree modules to be chosen among the following
- A.A. 2025/2026 Web applications not activated
- A.A. 2026/2027 Automated software verification not activatedLegend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Requirement engineering (2025/2026)
Teaching code
4S011698
Teacher
Coordinator
Credits
6
Also offered in courses:
- Requirement engineering of the course Master's degree in Computer Science and Engineering
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
2nd semester dal Mar 2, 2026 al Jun 12, 2026.
Courses Single
Authorized
Learning objectives
The course aims at presenting and practicing the main methodologies and technologies to adopt when collecting, formalizing and managing the requirements for designing the architecture of and for implementing software systems. At the end of the course, the student shall know how to define requirements and to design the architecture of software. This knowledge allows the student to take part to requirement elicitation tasks in a proactive and consciously way, mastering the methodologies and technologies that support every software design phase.
Prerequisites and basic notions
Knowledge of fundamentals of UML
Program
The course program includes the following topics:
- Introduction to software engineering: definitions, case studies.
- Requirement elicitation: artefact driven and stakeholder driven methodologies
- Requirement Evaluation: Inconsistency, risk analysis, alternatives prioritization
- Requirement specification and documentation: with structured natural language, with diagrams
- Requirement quality: inspection and review, validation, verification
- Requirement evolution: revision, variant, change anticipation
- Goal oriented: granularity, types and categories
Didactic methods
Frontal lectures, practical laboratory and discussions.
Learning assessment procedures
Project at the end of the course and written exam.
Evaluation criteria
Clarity and completeness of the answers to the written questions. Quality and completeness of the project.
Criteria for the composition of the final grade
Written exam evaluation and project evaluation.
Exam language
Italiano or English
