University project carried out for the Software Engineering 2 course. Design of the software architecture of a hypothetical system following Software Engineering best practices. The project goal was to learn software engineering practices rather than developing the actual system. With a university colleague we studied and wrote the:

• Requirements Analysis and Specification Document - RASD
• Design Document - DD
• Integration Test Plan Document - ITPD
• Project Plan Document - PPD
• Code Inspection Document - CID

to model the supposed software.

Moreover, by means of Alloy language we formalized and validated the description of the world of the project to prove validity of our model.

Project repository: https://github.com/nyxgear/SE2-project-tesla-car-sharing