loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: José Creissac Campos 1 ; Michael D. Harrison 2 and Karsten Loer 2

Affiliations: 1 Universidade do Minho, Portugal ; 2 University of York, United Kingdom

Abstract: A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The approach is intended to be used early in design. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also capture important features of the context to allow restrictions of behaviour to those that conform to appropriate human and environmental constraints. A tool suite to support the approach is under development and is described. Future work directions are put forward.

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.200.74.73

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:
Creissac Campos, J.; D. Harrison, M. and Loer, K. (2004). Verifying user interface behaviour with model checking. In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS; ISBN 972-8865-03-1, SciTePress, pages 87-96. DOI: 10.5220/0002681700870096

@conference{vveis04,
author={José {Creissac Campos}. and Michael {D. Harrison}. and Karsten Loer.},
title={Verifying user interface behaviour with model checking},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS},
year={2004},
pages={87-96},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002681700870096},
isbn={972-8865-03-1},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS
TI - Verifying user interface behaviour with model checking
SN - 972-8865-03-1
AU - Creissac Campos, J.
AU - D. Harrison, M.
AU - Loer, K.
PY - 2004
SP - 87
EP - 96
DO - 10.5220/0002681700870096
PB - SciTePress