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: Design Methodology and Cognitive Factors in Design ; Enterprise Information Systems ; Functional and Non-Functional Requirements ; Human-Computer Interaction

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 44.222.90.25

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). FLEXIBILITY, COMPLETENESS AND SOUNDNESS OF USER INTERFACES - Towards a Framework for Logical Examination of Usability Design Principles. In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS; ISBN 978-989-8111-40-1; ISSN 2184-4992, SciTePress, pages 346-351. DOI: 10.5220/0001684803460351

@conference{iceis08,
author={Steinar Kristoffersen.},
title={FLEXIBILITY, COMPLETENESS AND SOUNDNESS OF USER INTERFACES - Towards a Framework for Logical Examination of Usability Design Principles},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS},
year={2008},
pages={346-351},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001684803460351},
isbn={978-989-8111-40-1},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS
TI - FLEXIBILITY, COMPLETENESS AND SOUNDNESS OF USER INTERFACES - Towards a Framework for Logical Examination of Usability Design Principles
SN - 978-989-8111-40-1
IS - 2184-4992
AU - Kristoffersen, S.
PY - 2008
SP - 346
EP - 351
DO - 10.5220/0001684803460351
PB - SciTePress