Skip to main content
  • Book
  • © 2004

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2900)

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-44397-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (16 chapters)

  1. Appendices

    1. C The Steam-Boiler Control Specification Problem

      • Michel Bidoit, Peter D. Mosses
      Pages 211-219
  2. Back Matter

About this book

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 book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index.

A separate, complementary LNCS volume contains the CASL Reference Manual.

Keywords

  • C programming language
  • CASL
  • Turing
  • common algebraic specification language
  • design
  • development
  • formal methods
  • formal software development
  • formal specification
  • language
  • software
  • software development
  • specification languages
  • systems design
  • user

Editors and Affiliations

  • Centre de recherche INRIA Saclay - Île-de-France, France

    Michel Bidoit

  • Department of Computer Science, Swansea University, UK

    Peter D. Mosses

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-44397-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)