В репозитории представлены диаграммы и программные коды, созданные при выполнении задания 2 по дисциплине "Языки написания спецификаций". Представлены диаграммы последовательности, состояний, вариантов использования и классов.