Recent trends in algebraic development techniques

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers<br />Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-20537-1<br /> DOI: 10.1007/b94458<br /><br />Table of Contents:<p></p><ul><li>AGILE: Software Architecture for Mobility </li><li>A Coinductive Calculus of Component Connectors </li><li>An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint </li><li>MultiMedia Instruction in Safe and Secure Systems </li><li>Zero, Connected, Empty </li><li>Zero, Connected, Empty: An Essay after a Cantata </li><li>Type Checking Parametrised Programs and Specifications in ASL + FPC </li><li>Pre-nets, Read Arcs and Unfolding: A Functorial Presentation </li><li>Coreflective Concurrent Semantics for Single-Pushout Graph Grammars </li><li>Completeness Results for Fibred Parchments </li><li>Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs </li><li>Conditional Circular Coinductive Rewriting with Case Analysis </li><li>Verifying Gen