Encontrado 1 documento, a visualizar página 1 de 1

Verifying user interface behaviour with model checking

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 verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also captures important features of the context to allow restrictions of behavio...