In this paper, we present an overview of disjoint and non-disjoint slicing techniques that can break UML/OCL class diagrams into independent submodels in order to reduce the complexity. These ...

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 ...