LEADER 03861nam  22006975  450 
001 996465533103316
005 20200702131803.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$b[electronic resource] $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,$x0302-9743 ;$v2960
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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,$x0302-9743 ;$v2960
606   $aSoftware engineering
606   $aComputer science
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615 14$aSoftware Engineering.
615 24$aComputer Science, general.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
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   $a996465533103316
996   $aCASL Reference Manual$92007677
997   $aUNISA