Views of a memory cell

Walter Dosch*, Annette Stümpel

*Korrespondierende/r Autor/-in für diese Arbeit
5 Zitate (Scopus)

Abstract

We model a memory cell in the setting of stream processing functions from different points of view. The external view describes the input/output behaviour of the component, the transition view captures the stepwise transitions, the state-based view discloses the internal structure, and the trace view records the sequences of events. The different views are systematically derived from the external view following sound transformation rules. The case study exemplifies general methods for the specification and refinement of state-based components in distributed systems.

OriginalspracheEnglisch
TitelAdvances in Automation, Multimedia and Video Systems, and Modern Computer Science
Seitenumfang9
Herausgeber (Verlag)World Scientific and Engineering Academy and Society
Erscheinungsdatum01.12.2001
Seiten47-55
ISBN (Print)9608052440
PublikationsstatusVeröffentlicht - 01.12.2001

Fingerprint

Untersuchen Sie die Forschungsthemen von „Views of a memory cell“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren