Specifying User Interfaces in DisCo Kari Syst i Abstract behaviors. In particular, we do not concentrate on internal issues or on interfaces to other software components. Based on literature, Booth [3] gives two different uses for the term f~rmal methods in human-computer interface engineering. One type of method attempts to cognitively model the user. The purpose of these methods is to show how complex tasks are in cognitive terms. In the other type of formal method, the behavior of a computer system is described in a formal notation. In this case general purpose specification methods are used instead of special user interface methods. When used for interface specification, their purpose is to expose logical inconsistencies within a system and its user interface. Our aim also falls in this category. Compared to most other specification methods, our notation of joint actions looks like a programming language instead of mathematical formulas, but the purpose is the same: to express logical properties and to expose logical inconsistencies. In the design phase, a formal description of system behavior can expose inconsistencies and errors in the design. A formal description also gives a rigorous basis for the implementation. When an existing user interface
End of preview. The entire article is 6 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/specifying-user-interfaces-in-disco-7yVj8mOu9M
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Specifying user interfaces in DisCo
Systä, Kari
Follow ACM SIGCHI Bulletin
, Volume 26 (2)
Association for Computing Machinery – Apr 1, 1994
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
