This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Formal Specification of an Oscilloscope
September/October 1990 (vol. 7 no. 5)
pp. 29-36
ASCII Text
x 
 
Norman Delisle, David Garlan, "A Formal Specification of an Oscilloscope," IEEE Software, vol. 7, no. 5, pp. 29-36, September/October, 1990.
 
 
BibTex
x
 
@article{ 10.1109/52.57890,
author = {Norman Delisle and David Garlan},
title = {A Formal Specification of an Oscilloscope},
journal ={IEEE Software},
volume = {7},
number = {5},
issn = {0740-7459},
year = {1990},
pages = {29-36},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.57890},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - A Formal Specification of an Oscilloscope
IS - 5
SN - 0740-7459
SP29
EP36
EPD - 29-36
A1 - Norman Delisle,
A1 - David Garlan,
PY - 1990
KW - formal specification; abstract oscilloscope specification; Z notation; abstract model; user-accessible functions; formal models; formal reasoning; computer graphic equipment; formal specification; oscilloscopes; standards
VL - 7
JA - IEEE Software
ER -
 

This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic oscilloscopes are discussed. The use of formal models and formal reasoning in this specification is examined.

Index Terms:
formal specification; abstract oscilloscope specification; Z notation; abstract model; user-accessible functions; formal models; formal reasoning; computer graphic equipment; formal specification; oscilloscopes; standards
Citation:
Norman Delisle, David Garlan, "A Formal Specification of an Oscilloscope," IEEE Software, vol. 7, no. 5, pp. 29-36, Sept.-Oct. 1990, doi:10.1109/52.57890
Usage of this product signifies your acceptance of the Terms of Use.