loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Steinar Kristoffersen

Affiliation: Østfold University College, Norway

Keyword(s): Logical modeling, precise analysis of usability evaluation, model checking.

Related Ontology Subjects/Areas/Topics: Applications of Expert Systems ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Aspect-Orientation ; Case-Based Reasoning ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Pattern Recognition ; Programming Languages ; Requirements Analysis And Management ; Software Engineering ; Symbolic Systems ; Theory and Methods ; User Modeling ; Web Information Systems and Technologies ; Web Interfaces and Applications

Abstract: The paper is concerned with automatic usability assessment, based on heuristic principles. The objective is to lay the ground, albeit still rather informally, of a program of assessing the usability of an interactive system using formal methods. Further research can then extend this into an algebra of interactive systems.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.201.28.181

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kristoffersen, S. (2008). LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles. In Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT; ISBN 978-989-8111-52-4; ISSN 2184-2833, SciTePress, pages 261-268. DOI: 10.5220/0001869402610268

@conference{icsoft08,
author={Steinar Kristoffersen.},
title={LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT},
year={2008},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001869402610268},
isbn={978-989-8111-52-4},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT
TI - LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles
SN - 978-989-8111-52-4
IS - 2184-2833
AU - Kristoffersen, S.
PY - 2008
SP - 261
EP - 268
DO - 10.5220/0001869402610268
PB - SciTePress