Software Engineering 2 Project

This repository contains the project for the course "Software Engineering 2", part of the Computer Science and Engineering degree at Politecnico di Milano (2025/2026).

Teacher: Matteo Giovanni Rossi

The Team

• Stefan Calugaru

• Stefano Molteni

• Gabriele Pedesini

Project Specification

Here the full specification of the project: pdf

Documents

The following deliverables were produced:

• Requirements Analysis and Specification Document (RASD): pdf
• Design Document (DD): pdf

Software Used

• Overleaf – collaborative writing and LaTeX document preparation
• Draw.io – UML and architectural diagrams
• Mermaid – sequence diagrams
• Alloy IDE – formal modeling and verification
• Visual Studio Code – diagram editing, Mermaid support, and repository management