DocumentCode
2626664
Title
Formal modelling of interactive systems
Author
Goldson, Doug
Author_Institution
Inst. of Inf. & Math. Sci., Massey Univ., New Zealand
fYear
2000
fDate
2000
Firstpage
207
Lastpage
215
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software, 2000. Proceedings. First Asia-Pacific Conference on
Conference_Location
Hong Kong
Print_ISBN
0-7695-0825-1
Type
conf
DOI
10.1109/APAQ.2000.883794
Filename
883794
Link To Document