Students&Companies Platform

Developed comprehensive specification and design documents for a platform connecting companies with students seeking internships, using formal methods and interface design.

Link

You can find the complete project documentation and design files on the Students&Companies GitHub Repository.

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