Software Engineering 2 · Politecnico di Milano · 2025
Students&Companies
Requirements analysis and design for a platform connecting students with internship opportunities, with formal verification of the requirements in Alloy.
Project Overview
Students&Companies is a comprehensive software engineering project focused on the complete requirements analysis and design phase for a platform that bridges the gap between companies and students seeking internship opportunities.
Key Deliverables
Requirements Specification
- Gathered and formalized functional and non-functional requirements
- Created detailed use case scenarios and user stories
- Defined system boundaries and stakeholder interactions
Formal Verification with Alloy
- Used Alloy formal specification language to model system requirements
- Verified correctness and consistency of requirements through automated analysis
- Identified and resolved potential conflicts and ambiguities in the specification
Interface Design
- Designed user-friendly interfaces using Figma
- Created wireframes and high-fidelity mockups for all major user flows
- Ensured accessibility and usability standards across all designs
Tools & Technologies
- Documentation: LaTeX
- Formal Methods: Alloy
- Design: Figma
- Methodology: Requirements Engineering, Formal Verification