04018nam 22007335 450 991014391830332120200702135856.03-540-45645-710.1007/3-540-45645-7(CKB)1000000000211662(SSID)ssj0000326160(PQKBManifestationID)11230936(PQKBTitleCode)TC0000326160(PQKBWorkID)10265161(PQKB)10367384(DE-He213)978-3-540-45645-2(MiAaPQ)EBC3072600(PPN)155212311(EXLCZ)99100000000021166220121227d2002 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /edited by Maura Cerioli, Gianna Reggio1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (X, 348 p.)Lecture Notes in Computer Science,0302-9743 ;2267Bibliographic Level Mode of Issuance: Monograph3-540-43159-4 Includes bibliographical references at the end of each chapters and index.Interactive 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.Lecture Notes in Computer Science,0302-9743 ;2267Software engineeringComputer logicMathematical logicComputer science—MathematicsSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software engineering.Computer logic.Mathematical logic.Computer science—Mathematics.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Symbolic and Algebraic Manipulation.Software Engineering.005.1Cerioli Mauraedthttp://id.loc.gov/vocabulary/relators/edtReggio Giannaedthttp://id.loc.gov/vocabulary/relators/edtWADT 2001MiAaPQMiAaPQMiAaPQBOOK9910143918303321Recent Trends in Algebraic Development Techniques771917UNINA