… The dozens of algebraic specification languages that have been developed all support the
… y compare CASL with a few other representative algebraic specification languages. One of …

… of CoFI, the Common Framework Initiative for algebraic specification and development of …
an overview of the main features of CASL , the Common Algebraic Specification Language. …

… CASL is a major new algebraic specification language. It has been carefully designed by a
large group of experts as a general-purpose language for … CASL includes carefully selected …

… Casl is an expressive specification language that has been designed to supersede many
existing algebraic specification languages and provide a standard. Casl consists of several …

… enable the combination of process algebraic specification of reactive behaviour and algebraic
specification of data types at … The algebraic specification language CASL has SubPCFOL …

… This book illustrates and discusses how to write CASL specifications. The authors first … of
algebraic specification languages. The main part of the book explains CASL specifications, with …

… A feature that distinguishes CASL from other specification languages is its possibility to
specify the design of a software system by defining the program modules that have to be …

… a specification, eg, the model class of what one has specified. In this chapter we will study the
algebraic specification language Casl… many ways that algebraic specification can facilitate …

… of Casl are brie y explained and illustrated|the reader is referred to the Casl Language
Summary for … Some familiarity with the fundamental concepts of algebraic speci cation would be …

… the design of CASL, the Common Algebraic Specification Language, together with its sub-…
CASL. The translation of a number of well-known algebraic specification languages to CASL …