nyxgear / SE2-project-tesla-car-sharing

Design and formal validation of an hypothetical Tesla car sharing software architecture. Project developed for the course of Software Engineering 2 at Polytechnic of Milan, Italy.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Software Engineering 2 - Tesla Car Sharing Project

The Tesla Car Sharing project has been developed for the Software Engineering 2 course of M.Sc. course of Computer Science and Engineering at Politecnico di Milano. A.Y. 2016/2017.

Group members

  • Elena Danchenko
  • Stefano Cilloni

Deliverables

  1. RASD: download the latest version here.
  2. DD: download the latest version here.
  3. ITPD: download the latest version here.
  4. PPD: download the latest version here.
  5. CID: download the latest version here.

Project schedule

  • Group registration deadline 23/10/2016
  • RASD submission deadline 13/11/2016
  • DD submission deadline 11/12/2016
  • ITPD submission deadline 15/01/2017
  • PPD submission deadline 22/01/2017
  • CID submission deadline 05/02/2017
  • Final presentation 09/02/2017

About

Design and formal validation of an hypothetical Tesla car sharing software architecture. Project developed for the course of Software Engineering 2 at Polytechnic of Milan, Italy.


Languages

Language:Alloy 62.2%Language:Python 37.8%