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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Process Analytics
$84.99
Emotional Engineering Volume 4
$109.99
Advanced Computer Science and Information Technology
$39.99
Series Approximation Methods in Statistics
$169.99
Some Basic Problems of the Mathematical Theory of Elasticity
$219.99
Trioker mathematisch gespielt
$69.99
Artificial Immune Systems
$39.99
Dynamische Systeme und Fraktale
$69.99
Hematopoietic Differentiation of Human Pluripotent Stem Cells
$39.99
Lagerprozesse mit Restriktionen
$59.99
American Catholicism
$54.99
Decentralization and Local Development in South East Europe
$54.99
Grundzge der Volkswirtschaftslehre
$59.99
Hip Dysplasia
$109.99
Campylobacters, Helicobacters, and Related Organisms
$419.00
Low Power and Reliable SRAM Memory Cell and Array Design
$84.99
Advances in Cryptology - CRYPTO '86
$54.99
Computer Simulation Studies in Condensed-Matter Physics X
$109.99
Advanced Topics in Control Systems Theory
$84.99
Surgical Correction of Intersexual Genitalia and Female Genital Malformation
$109.99
Patience Wright
$5.96
Controlling & Management Review Jahrgang 2022
$89.99
Educational Research for Social Justice
$159.99
The Proceedings of the 11th Frontier Academic Forum of Electrical Engineering (FAFEE2024)
$329.99
Nonlinear Elliptic and Parabolic Equations of the Second Order
$179.99
Frontiers in European Radiology
$84.99
Statisticians of the Centuries
$109.99
My Books Summer Grade PreK Nonfiction - Classroom Set
$795.00
Leistungselektronische Schaltungen
$119.00
Rice Productivity and Food Security in India
$109.99
Where Did My Roommate Put My Charger?: A Kind-Of Activity Book for Kind-Of Adults by Sarah Kempa
$14.99
Handbook of the Sociology of Education
$54.99
Algorithm Portfolios
$69.99
Geschftsmodelle in Industrie 4.0 und dem Internet der Dinge
$17.99
Dynamische Systeme
$39.99
Echocardiology
$54.99
Die Struktur von Kreditbeziehungen
$59.99
Bestnde-Controlling
$39.99
Die technische Elektrolyse der Nichtmetalle
$44.99
International Peacebuilding and Local Resistance
$109.99
