CASL Reference Manual
Peter D. Mosses ( Ed. )
Broschiertes Buch

CASL Reference Manual

The Complete Documentation of the Common Algebraic Specification Language

Herausgegeben: Mosses, P. D.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
39 °P sammeln!
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each cons...