LEADER 04562nam  22007695  450 
001 9910143918303321
005 20251116234219.0
010   $a3-540-45645-7
024 7 $a10.1007/3-540-45645-7
035   $a(CKB)1000000000211662
035   $a(SSID)ssj0000326160
035   $a(PQKBManifestationID)11230936
035   $a(PQKBTitleCode)TC0000326160
035   $a(PQKBWorkID)10265161
035   $a(PQKB)10367384
035   $a(DE-He213)978-3-540-45645-2
035   $a(MiAaPQ)EBC3072600
035   $a(PPN)155212311
035   $a(BIP)13638652
035   $a(BIP)7581927
035   $a(EXLCZ)991000000000211662
100   $a20121227d2002      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Trends in Algebraic Development Techniques $e15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /$fedited by Maura Cerioli, Gianna Reggio
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (X, 348 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2267
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-43159-4 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aInteractive Rule-Based Specification with an Application to Visual Language Definition -- Algebraic Abstractions -- Combining Logics: Parchments Revisited -- Canonical Institutions of Behaviour -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications -- On the Compatibility of Model and Model-Class Transformations -- Verifying a Simple Pipelined Microprocessor Using Maude -- Verifying Architectural Specifications -- Geometric Modelling with CASL -- A Compositional Approach to Connector Construction -- Institution Independent Static Analysis for Casl -- Tight and Loose Semantics for Transformation Systems -- Presentations for Abstract Context Institutions -- Programs, Proofs and Parametrized Specifications -- Towards Trustworthy Specification I: Consistency Checks -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2267
606   $aSoftware engineering
606   $aComputer logic
606   $aLogic, Symbolic and mathematical
606   $aComputer science?Mathematics
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aLogic, Symbolic and mathematical.
615  0$aComputer science?Mathematics.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aSoftware Engineering.
676   $a005.1
702   $aCerioli$b Maura$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReggio$b Gianna$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWADT 2001
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143918303321
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNINA