Title :
Formal modelling of interactive systems
Author_Institution :
Inst. of Inf. & Math. Sci., Massey Univ., New Zealand
Abstract :
This paper presents a case study in interface modelling and testing using the Z specification language. The paper models a single feature of a VCR and the use of Z allows the model to be tested from different points of view, including an approach to interface testing in which system dynamics are categorised according to formal attributes that are relevant to user cognition
Keywords :
formal specification; human factors; interactive systems; program testing; telecommunication computing; user interfaces; video tape recorders; VCR; Z specification language; case study; formal attributes; formal modelling; interactive systems; interface modelling; interface testing; system dynamics; user cognition; video cassette recorder; Cognition; Displays; Embedded software; Human computer interaction; Interactive systems; Manuals; Switches; System testing; TV; Video recording;
Conference_Titel :
Quality Software, 2000. Proceedings. First Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-0825-1
DOI :
10.1109/APAQ.2000.883794
