Archetype-oriented CHI A formal Approach to User Friendliness

Simple item page
dc.contributor.authorOliveira, J. N.en_US
dc.contributor.authorMartins, F. M.en_US
dc.contributor.editorMadalena Quirinoen_US
dc.date.accessioned2023-03-09T10:00:43Z
dc.date.available2023-03-09T10:00:43Z
dc.date.issued2023
dc.description.abstractTheoretical computer science has the aim of formalizing previous empiri- cal, innovative creations in computing. The possibility of automatically con- structing instances of such creations is dependam on the existence of formal models. This is panicularly true in computing since computers do not manipulate informal models of problem-solutions. This paper describes an exercise in using constructive and algebraic specifica- tions in the formalization of some aspects of computer-human interaction (CHI). Formal specification can not only contribute to a better understanding of CHI, but also provide the almost non-existent link between CHI and Software Engineering. In this paper, from a modest analysis of user behaviour, we build mathematical models which lead to a formalization of the "standard" assisted-user-interface (AUI). These fonnalisms are applied to the specification of ASSIST, a mechani- cal generator of assisted-user-interfaces which matches with command-line parser-generators technology. Finally, we show how the assist-paradigm can be implicitly combined with fonnally specified software modules, in the sense that each formal specification itself contains enough information for ASSIST to gen- erate the relevant parts of the AUI.en_US
dc.description.sectionheadersArticles
dc.description.seriesinformationLGCG 1988 - 1st Luso German Meeting on Computer Graphics
dc.identifier.doi10.2312/pt.19881540
dc.identifier.isbn978-3-03868-204-2
dc.identifier.urihttps://doi.org/10.2312/pt.19881540
dc.identifier.urihttps://diglib.eg.org:443/handle/10.2312/pt19881540
dc.publisherThe Eurographics Associationen_US
dc.rightsAttribution 4.0 International License
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleArchetype-oriented CHI A formal Approach to User Friendlinessen_US
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
1988_0013-Article.pdf
Size:
3.67 MB
Format:
Adobe Portable Document Format
Download
Collections
Portuguese Meeting on Computer Graphics 1988 (LGCG 1988)