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