| Авторы: Девятков В.В., Типсин Е.А. |
Опубликовано: 19.03.2020 |
| Опубликовано в выпуске: #1(130)/2020 |
|
| DOI: 10.18698/0236-3933-2020-1-64-84 |
|
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей |
|
|
Ключевые слова: логика тайлов, верификация свойств, пользовательский интерфейс, степень удобства использования, юзабилити, оценка степени удобства использования, агенты, автоматизация оценки, человеко-машинное взаимодействие
|
| 
