LEADER 03424nam  22006735  450 
001 9910144204503321
005 20250721143336.0
010   $a3-540-24648-7
024 7 $a10.1007/b96103
035   $a(CKB)1000000000212335
035   $a(SSID)ssj0000321757
035   $a(PQKBManifestationID)11235575
035   $a(PQKBTitleCode)TC0000321757
035   $a(PQKBWorkID)10279796
035   $a(PQKB)11048033
035   $a(DE-He213)978-3-540-24648-0
035   $a(MiAaPQ)EBC3088225
035   $a(PPN)155199404
035   $a(EXLCZ)991000000000212335
100   $a20121227d2004      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCASL Reference Manual $eThe Complete Documentation of the Common Algebraic Specification Language /$fedited by Peter D. Mosses
205   $a1st ed. 2004.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004.
215   $a1 online resource (XVIII, 534 p.)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v2960
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-21301-5 
320   $aIncludes bibliographical references and index.
327   $aCASL Summary -- I. Casl Summary -- CASL Syntax -- II. Casl Syntax -- CASL Semantics -- III. Casl Semantics -- CASL Logic -- IV. Casl Logic -- CASL Libraries -- V. Casl Libraries.
330   $aCASL, 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v2960
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware Engineering
606   $aComputer Science
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs)
615 14$aSoftware Engineering.
615 24$aComputer Science.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.13/3
702   $aMosses$b Peter D$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910144204503321
996   $aCASL Reference Manual$92007677
997   $aUNINA