History Abstractions of an Interactive Frequency Table

Walter Dosch

History Abstractions of an Interactive Frequency Table

Walter Dosch

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Seiten	31-39
Seitenumfang	9
Publikationsstatus	Veröffentlicht - 01.12.2005
Veranstaltung	14th International Conference on Intelligent and Adaptive Systems and Software Engineering - Toronto, Kanada Dauer: 20.07.2005 → 22.07.2005 Konferenznummer: 96409

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress	14th International Conference on Intelligent and Adaptive Systems and Software Engineering
Kurztitel	IASSE 2005
Land/Gebiet	Kanada
Ort	Toronto
Zeitraum	20.07.05 → 22.07.05

UN SDGs

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

Andere Dateien und Links

https://www.scopus.com/record/display.uri?eid=2-s2.0-84878530769&origin=inward&txGid=b70317260cd8978a30c404770e689a82

Zitieren

@conference{c8ac23dd855d4ca283d85f034615e759,

title = "History Abstractions of an Interactive Frequency Table",

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

author = "Walter Dosch",

year = "2005",

month = dec,

day = "1",

language = "English",

pages = " 31--39",

note = "14th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2005 ; Conference date: 20-07-2005 Through 22-07-2005",

}

TY - CONF

T1 - History Abstractions of an Interactive Frequency Table

AU - Dosch, Walter

N1 - Conference code: 96409

PY - 2005/12/1

Y1 - 2005/12/1

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

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

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84878530769&origin=inward&txGid=b70317260cd8978a30c404770e689a82

M3 - Conference Papers

SP - 31

EP - 39

T2 - 14th International Conference on Intelligent and Adaptive Systems and Software Engineering

Y2 - 20 July 2005 through 22 July 2005

ER -