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

Gianna Reggio Lorenzo Repetto

Published in: AMAST (2000)

Keyphrases

specification language
formal specification
programming language
description language
model checker
software environment
symbolic execution
requirements specification
database
databases
xml documents
distributed systems