This repository contains a course project for Software Specification and Modeling, focused on the analysis and design of a software system. It includes functional and non-functional requirements, use ...

It includes functional and non-functional requirements, use case diagrams, class diagrams, activity diagrams, and sequence diagrams. A prototype application is also developed based on selected ...

Simulating real world applications containing many functionalities using programs tend to become very complex in structure and behaviour. Validating such programs for its correctness require correct ...