TY  - BOOK
AU  - Wirsing,Martin
AU  - Pattinson,Dirk
AU  - Hennicker,Rolf
ED  - SpringerLink (Online service)
TI  - Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540400202
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2003///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Algebra
KW  - Data processing
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Computer Science, general
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
KW  - Symbolic and Algebraic Manipulation
N1  - Invited 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
UR  - http://dx.doi.org/10.1007/b94458
ER  -