Abstract: Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtrusive manner ...

Abstract: One of the important methods for characterization, development and realization of software and hardware systems is formal method. Since there are not any necessary techniques for modeling in ...

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