Prohlížeč má zakázaný Javascript. Prosím, povolte ho pro plnou funkčnost systému a obnovte stránku.
Prohlížeč má zakázané cookies. Prosím, povolte je pro plnou funkčnost systému a obnovte stránku.
 
Zavřít režim celé obrazovky
Název: Formal analysis and automatic generation of user interfaces
Další názvová informace: approach, methodology, and an algorithm
Překlad: Formální analýza a automatické generování uživatelských rozhraní : pojetí, metodologie a algoritmus
Autor: Heymann, M.
Klíčové slovo: automatizace
člověk
rozhraní
stroje
uživatelé
vztahy
Anotace: Pojetí a metodologie analýzy a generování uživatelských rozhraní (UR) se zvláštním důrazem na vztah člověk - automatizace. Diskutováno koncepční pojetí modelování, analýzy a ověřování informačního obsahu UR. Zjištěno, že  každé UR je abstraktním popisem vlastního systému. Možnost přesné analýzy vztahu mezi abstraktní informací předložené uživateli a chováním stroje.
Jazyk dokumentu: eng
Název zdroje: Human Factors
Ročník: 49
Číslo: 2
Rozsah (stránky): s. 311-330 : 13 obr.
Rok vydání: 2007
Publikováno na URL:
Připojené soubory: Soubory k článkuformal analysis
Odborná knihovna VÚBP, Jeruzalémská 1283/9, 110 00 Praha 1, E-mail: knihovna@vubp.cz
Tento výsledek byl finančně podpořen z institucionální podpory na dlouhodobý koncepční rozvoj výzkumné organizace na léta 2018–2022 a je součástí výzkumného úkolu 05-S4-2021-VÚBP Zefektivnění vyhledávání v digitálním archivu BOZP Safe a propojení s Encyklopedií BOZP, řešeného Výzkumným ústavem bezpečnosti práce, v. v. i., v letech 2021–2022.
{{'asyncop.tasklist' | i18n}}
{{job.message}} {{job.fileName}}