loading...
Formal Modeling of Interactive Systems
Hong Kong, China October 30-October 31
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883794The First Asia-Pacific Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Doug Goldson, "Formal Modeling of Interactive Systems," Asia-Pacific Conference on Quality Software, pp. 207, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APAQ.2000.883794,
author = {Doug Goldson},
title = {Formal Modeling of Interactive Systems},
journal ={Asia-Pacific Conference on Quality Software},
volume = {0},
year = {2000},
isbn = {0-7695-0825-1},
pages = {207},
doi = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883794},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Conference on Quality Software
TI - Formal Modeling of Interactive Systems
SN - 0-7695-0825-1
SP
EP
A1 - Doug Goldson,
PY - 2000
VL - 0
JA - Asia-Pacific Conference on Quality Software
ER -
 
Doug Goldson, Massey University
This paper presents a case study in interface modelling and testing using Z. 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 categorized according to formal attributes that are relevant to user cognition.
Citation:
Doug Goldson, "Formal Modeling of Interactive Systems," apaqs, pp.207, The First Asia-Pacific Conference on Quality Software (APAQS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.