Referenced Items are not available for this document.
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
Published in:
Quality Software, 2000. Proceedings. First Asia-Pacific Conference on
Date of Conference: 2000
- Page(s):
- 207 - 215
- Meeting Date :
- 30 Oct 2000-31 Oct 2000
- Print ISBN:
- 0-7695-0825-1
- INSPEC Accession Number:
- 6755559
- Conference Location :
- Hong Kong
- Digital Object Identifier :
- 10.1109/APAQ.2000.883794
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
