History Abstractions of an Interactive Frequency Table

Walter Dosch

History Abstractions of an Interactive Frequency Table

Walter Dosch

Institute of Software Engineering and Programming Languages

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.

Original language	English
Pages	31-39
Number of pages	9
Publication status	Published - 01.12.2005
Event	14th International Conference on Intelligent and Adaptive Systems and Software Engineering - Toronto, Canada Duration: 20.07.2005 → 22.07.2005 Conference number: 96409

Conference

Conference	14th International Conference on Intelligent and Adaptive Systems and Software Engineering
Abbreviated title	IASSE 2005
Country/Territory	Canada
City	Toronto
Period	20.07.05 → 22.07.05

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

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

History Abstractions of an Interactive Frequency Table

Abstract

Conference

UN SDGs

Other files and links

Fingerprint

Cite this