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

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.