Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wirsing, Martin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pattinson, Dirk (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hennicker, Rolf (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2755
• Θέματα: Software engineering.; Computer logic.; Computer science.; Mathematical logic.; Computer science-Mathematics.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Computer Science, general.; Software Engineering.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

Πίνακας περιεχομένων:

• 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.