CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL

G. Reggio
L. Repetto

Open link

Publication date

January 2000

DOI

10.1007/3-540-45499-3_19

Publisher

Springer Science and Business Media LLC

Abstract

In this paper we present Casl-Chart a formal visual specification language for reactive systems obtained by combining an already existing language for reactive systems, precisely the statecharts as supported by Statemate , with an already existing language for the specification of data structures, precisely the algebraic specification language Casl

Extracted data

We use cookies to provide a better user experience.

Data Protection

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL

Abstract

Extracted data

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL

Abstract

Extracted data

Related items

Related items