Copied CASL Reference Manual
CASL Reference Manual
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 construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Inquiring into Animal Enhancement
$54.99
Integrierte Psychotherapie
$59.99
Alcohol and Cancer
$169.99
Pedagogy and Content in Middle and High School Mathematics
$37.99
Entscheidungsorientierte Kostenrechnungssysteme
$49.99
Group Theoretical Methods in Physics
$39.99
An Introduction to the Philosophy of Language
$39.99
Kriminaltaktik mit besonderer Bercksichtigung der Kriminalpsychologie
$59.99
Festschrift fr Leo Brandt zum 60. Geburtstag
$59.99
Cerebellum and Rhythmical Movements
$54.99
Advances in Photonics and Electronics
$219.99
Zugfrderung
$39.99
Rationalittsdefizite im Handeln von Controllern
$69.99
Pdagogik - Phnomenologie
$79.99
Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums / Roentgendia
$44.99
ABC of Jobs
$5.21
Financial Conglomerates
$54.99
Dynamik des Waldsterbens
$59.99
Sustainable Urban Architecture
$109.99
3-D Audio Using Loudspeakers
$169.99
Pretreatment of Lignocellulosic Biomass for Biofuel Production
$39.99
Climate Change Adaptation from Geotechnical Perspectives
$169.00
Morphogenesis of the Sign
$84.99
Modern Credit Risk Management
$79.99
Recent Advances in Management of Digestive Cancers
$39.99
Absorptionsspektroskopie im Ultravioletten und sichtbaren Spektralbereich
$59.99
Projektive Geometrie der Ebene Unter Benutzung der Punktrechnung Dargestellt
$59.99
Introduction to Software Architecture
$59.99
Space Communication and Nuclear Scintillation
$109.99
Fertility and Sterility
$109.99
I Want to be Mad for a While! (Hardcover)
$7.49
Automated Reasoning with Analytic Tableaux and Related Methods
$54.99
Anstze zu einer Archologie der Literatur
$49.99
Common Interests, Uncommon Goals
$129.00
Manipulation of Allelopathic Crops for Weed Control
$54.99
Reading Historical Fiction
$54.99
Jugend zwischen Moderne und Postmoderne
$44.99
The Fifth Column in World War II
$109.99
Tolkien as a Literary Artist
$109.00
Biology of Depressive Disorders. Part A
$129.00
