| ???persistent.caption.title??? |
???persistent.caption.value??? |
|
|
| Clavius tčíslo: |
15024
|
| Překlad: |
Formální analýza a automatické generování uživatelských rozhraní : pojetí, metodologie a algoritmus
|
| Rozšířená anotace: |
|
| Jazyk dokumentu: |
eng
|
| Ročník: |
49
|
| Číslo: |
2
|
| Rozsah (stránky): |
s. 311-330 : 13 obr.
|
| Název zdroje: |
Human Factors
|
| Rok vydání: |
2007
|
| Publikovat na bozp-info: |
|
| Forma publikování: |
|
| Perex: |
|
| Datum publikování: |
|
| Publikováno na URL: |
|
| Připojené soubory: |
formal analysis
|
| Název: |
Formal analysis and automatic generation of user interfaces
|
| Další názvová informace: |
approach, methodology, and an algorithm
|
| Klíčové slovo: |
automatizace
člověk
rozhraní
stroje
uživatelé
vztahy
|
| Autor: |
Heymann, M.
|
| 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.
|
| Bezpečnostní úroveň: |
|
| Druh: |
nezadáno
|
| Odkaz na dokument (URL): |
|
| Původní znění: |
|