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
The Philosophy of Care
$84.99
Psychological Perspectives on Reality, Consciousness and Paranormal Experience
$109.99
Der sinnhafte Aufbau der sozialen Welt
$69.99
Frederick's Journey
$6.71
Digitalisierung im Vertrieb
$79.99
Future Skills
$49.99
SPSS fr Windows
$69.99
Distributed Applications and Interoperable Systems
$59.99
Black Theology as Mass Movement
$109.99
Environmental Futures
$39.99
Die Gesellschaftliche Verantwortung Der Psychologen
$64.99
Decodable Cards: Advanced Phonics Concepts
$37.49
Grundbegriffe der Literaturwissenschaft
$19.99
Biophysical Aspects of Coherence and Biological Order
$109.99
Frontiers in Internet Technologies
$39.99
Projektmanagement im Ehrenamt
$17.99
Future Mobile Communications
$54.99
Microbiologically Influenced Corrosion
$84.99
Qualittsorientierte Unternehmensfhrung
$39.99
Radioisotopic Methods in Hydrobiology
$84.99
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis
$99.99
Cosmetic and Pharmaceutical Applications of Polymers
$219.99
BBC Sport in Black and White
$109.99
Ein Blick hinter die Kulissen
$49.99
Technologiefusion fr multifunktionale Leichtbaustrukturen
$159.99
Green Chemistry Metrics
$54.99
Spatial Mapping in virtuellen Umgebungen
$59.99
Handbook of Computability and Complexity in Analysis
$109.99
Marketing-Entscheidungen im Einzelhandel
$79.99
Graphisch-Interaktive Strmungsvisualisierung
$59.99
Educational Research: Why 'What Works' Doesn't Work
$84.99
Transactions on Computational Collective Intelligence XVI
$39.99
Scheitern - Organisations- und wirtschaftssoziologische Analysen
$49.99
Die Welt nach 9/11
$119.99
Religious Identities and the Global South
$109.00
Personhood in Science Fiction
$99.99
Griechische Formenlehre. Griechische Satzlehre
$59.99
Intrinsic Molecular Mobility and Toughness of Polymers II
$169.00
Steps to Follow
$99.99
Shakespeare, Catholicism, and the Middle Ages
$69.99
