Software Engineering 2 Project

The final project for the Software Engineering 2 course at Politecnico di Milano in academic year 2025-2026 dealt with requirements and specification analysis and the design of a software application called Best Bike Paths.

The final evalutation of the RASD and DD documents provided in this repository was 13.5 out of 14 points.

Overview

The purpose of the Best Bike Paths (BBP) project is to aid bikers in keeping track of their cycling activities and in finding, selecting and sharing bike paths.

In contrast to standard navigator applications (e.g. Google Maps), which mostly provide users only with basic path routing indications, BBP will provide reliable additional information regarding the available paths tailored to the specific needs and interests of cyclists, such as type of surface of the streets that form the path and presence of obstacles along the route (e.g. potholes).

Path information in BBP is community-sourced and continuously updated. Bikers can contribute by publishing their trips and reporting conditions, while the platform itself assists them in data gathering through mobile sensors and external services (e.g., GPS, weather).

This "for bikers, by bikers" approach ensures that the information remains accurate, up to date, and relevant to the cycling community.

Documentation Structure

The documentation provided in this repository comprises mainly two documents (stored under the directory DeliveryFolder) with the following structure:

1. RASD document (Requirement Analysis and Specification Document)
   1. Introduction
   2. Overall Description
   3. Specific Requirements
   4. Formal Analysis with Alloy
   5. Effort Spent
   6. References
2. DD document (Design Document)
   1. Introduction
   2. Overall Description
   3. User Interfaces
   4. Requirements Traceability
   5. Implementation, Integration and Testing Plan
   6. Effort Spent
   7. References