Подробное описание документа
Девятков В. В.
Оценка степени удобства использования пользовательских интерфейсов в логике тайлов / Девятков В. В., Типсин Е. А. - DOI 10.18698/0236-3933-2020-1-64-84 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2020. - № 1. -
Представлены принципы методологии формальной автоматизированной оценки степени удобства пользовательских интерфейсов. В качестве математического аппарата для решения задач этой формальной проверки выбрана логика тайлов. Приведен обзор работ рассматриваемой области, объяснены причины выбора аппарата логики тайлов и рассмотрены принципы проверки (доказательства) удобства использования пользовательских интерфейсов. Показаны отличия разработанной методологии от известных методологий и ее достоинства. Принципы методологии формальной автоматизированной оценки степени удобства в логике тайлов продемонстрированы на простом примере. Рассмотрены развития предложенной методологии и перспективы ее использования Работа выполнена при поддержке Минобрнауки России (исследовательский проект № 2.5048.2017/8.9 "Автоматизация синтеза гибридных мультиагентных систем на основе формализации процессов спецификации и верификации")
004.5 Человеко-машинное взаимодействие. Человеко-машинный интерфейс. Пользовательский интерфейс. Операционная среда пользователя
