loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Steinar Kristoffersen

Affiliation: Østfold University College, Norway

ISBN: 978-989-8111-52-4

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.

PDF ImageFull Text

Download
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 3.231.226.211

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. and (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 2: ICSOFT, ISBN 978-989-8111-52-4, 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 2: ICSOFT,},
year={2008},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001869402610268},
isbn={978-989-8111-52-4},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.