Recent Trends in Algebraic Development Techniques
Subtitle: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Martin Wirsing (Editor); Dirk Pattinson (Editor); Rolf Hennicker (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 22, 2004
Language: eng
Format: Paperback
Number of pages: 457
ISBN-13: 9783540205371
Subjects: Software engineering; Logic Design; Computer software; Programming - Software Development; Computer Bks - General Information; Computers; Computers - General Information; Logic; Computer Books: Internet General; Development; Computers / Logic Design; Programming - General; Abstract data types (Computer science); Mathematics; Computer science; Congresses
Description: 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 Generative Casl Architectural Specifications
</li><li>Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
</li><li>The Coinductive Approach to Verifying Cryptographic Protocols
</li><li>Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages
</li><li>Approach-Independent Structuring Concepts for Rule-Based Systems
</li><li>Notions of Behaviour and Reachable-Part and Their Institutions
</li><li>Combining Specification Formalisms in the ‘General Logic’ of Multialgebras
</li><li>On How Distribution and Mobility Interfere with Coordination</li></ul>