The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A formal specification of an oscilloscope

The work

AuthorsN. Dellsie; D. Gartan
Editors
Typearticle
Year1990
Citekeydellsie1990formal

Where it appeared

Published inIEEE Software
PublisherIEEE Computer Society
Volume7
Issue5
Pages29--36

Identifiers

DOI10.1109/52.57890
OpenAlexW2158031841

Access

Landing pagehttps://doi.org/10.1109/52.57890

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

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.>

How it got here

How it got hereagent via openalex
Added2026-10-23 21:22 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{dellsie1990formal,
  title        = {A formal specification of an oscilloscope},
  author       = {N. Dellsie and D. Gartan},
  year         = {1990},
  journal      = {IEEE Software},
  publisher    = {IEEE Computer Society},
  volume       = {7},
  number       = {5},
  pages        = {29--36},
  doi          = {10.1109/52.57890},
}

This record lives at https://refs.drheap.org/dellsie1990formal/ and will keep doing so.