LEADER 05848nam 22008295 450 001 9910144211703321 005 20251116234400.0 010 $a3-540-40020-6 024 7 $a10.1007/b94458 035 $a(CKB)1000000000212263 035 $a(SSID)ssj0000326161 035 $a(PQKBManifestationID)11262705 035 $a(PQKBTitleCode)TC0000326161 035 $a(PQKBWorkID)10265422 035 $a(PQKB)10869348 035 $a(DE-He213)978-3-540-40020-2 035 $a(MiAaPQ)EBC3088122 035 $a(PPN)155192302 035 $a(BIP)13626920 035 $a(BIP)9387529 035 $a(EXLCZ)991000000000212263 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Trends in Algebraic Development Techniques $e16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /$fedited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VIII, 464 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2755 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-20537-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Technical Papers -- AGILE: Software Architecture for Mobility -- A Coinductive Calculus of Component Connectors -- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint -- MultiMedia Instruction in Safe and Secure Systems -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs and Unfolding: A Functorial Presentation -- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs -- Conditional Circular Coinductive Rewriting with Case Analysis -- Verifying Generative Casl Architectural Specifications -- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens -- The Coinductive Approach to Verifying Cryptographic Protocols -- Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages -- Approach-Independent Structuring Concepts for Rule-Based Systems -- Notions of Behaviour and Reachable-Part and Their Institutions -- Combining Specification Formalisms in the ?General Logic? of Multialgebras -- On How Distribution and Mobility Interfere with Coordination -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2755 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer science 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 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 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 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer science. 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$aComputer Science, general. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005.1 702 $aWirsing$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPattinson$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHennicker$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWADT 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144211703321 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNINA