The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (1990 vol.7)
pp: 29-36
ABSTRACT
<p>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.</p>
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, September/October 1990, doi:10.1109/52.57890
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool