History Abstractions of an Interactive Frequency Table

Walter Dosch

Abstract

We model a software component for an interactive frequency table in the setting of history functions. The component's internal state is systematically in-troduced as an abstraction of the input history. We explore different history abstractions and describe the corresponding models by state transition machines with input and output. The case study exemplifies a formal method how to transform a behavioural speci-fication into a state-based implementation.

OriginalspracheEnglisch
Seiten 31-39
Seitenumfang9
PublikationsstatusVeröffentlicht - 01.12.2005
Veranstaltung14th International Conference on Intelligent and Adaptive Systems and Software Engineering - Toronto, Kanada
Dauer: 20.07.200522.07.2005
Konferenznummer: 96409

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress14th International Conference on Intelligent and Adaptive Systems and Software Engineering
KurztitelIASSE 2005
Land/GebietKanada
OrtToronto
Zeitraum20.07.0522.07.05

Fingerprint

Untersuchen Sie die Forschungsthemen von „History Abstractions of an Interactive Frequency Table“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren