Team leader and developer in Software Engineering 2 project: design of a management system for an electric car sharing service: Requirements Analysis and Specification (scenarios, use cases, requirements identification, formal specification with UML and Alloy), System Design (architecture, algorithms, UI and UX), Integration Test Plan, Project Management Plan (Function Points and COCOMO II estimations, project schedule and task allocation, risk analysis).