Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-20537-1
DOI: 10.1007/b94458

Table of Contents:

• 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
  
• Zero, Connected, Empty
  
• Zero, Connected, Empty: An Essay after a Cantata
  
• 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