Views of a memory cell

Walter Dosch; Annette Stümpel

Views of a memory cell

Walter Dosch^*, Annette Stümpel

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnik und Programmiersprachen

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

Originalsprache	Englisch
Titel	Advances in Automation, Multimedia and Video Systems, and Modern Computer Science
Seitenumfang	9
Herausgeber (Verlag)	World Scientific and Engineering Academy and Society
Erscheinungsdatum	01.12.2001
Seiten	47-55
ISBN (Print)	9608052440
Publikationsstatus	Veröffentlicht - 01.12.2001

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Weitere Links

Link to publication in Scopus

Zitieren

@inbook{e8514cf922f3405598928ea8613df549,

title = "Views of a memory cell",

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

author = "Walter Dosch and Annette St{\"u}mpel",

year = "2001",

month = dec,

day = "1",

language = "English",

isbn = "9608052440",

pages = "47--55",

booktitle = "Advances in Automation, Multimedia and Video Systems, and Modern Computer Science",

publisher = "World Scientific and Engineering Academy and Society",

}

TY - CHAP

T1 - Views of a memory cell

AU - Dosch, Walter

AU - Stümpel, Annette

PY - 2001/12/1

Y1 - 2001/12/1

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

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

UR - https://www.scopus.com/pages/publications/1542597585

M3 - Chapter

AN - SCOPUS:1542597585

SN - 9608052440

SP - 47

EP - 55

BT - Advances in Automation, Multimedia and Video Systems, and Modern Computer Science

PB - World Scientific and Engineering Academy and Society

ER -

Views of a memory cell

Abstract

UN SDGs

Weitere Links

Fingerprint

Zitieren