Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Ge
User Rating: Be the first one!
Author: WADT 2002 (2002 : Frauenchiemsee, Germany), Wirsing, M. (Martin), Pattinson, Dirk, 1970-, Hennicker, Rolf, 1952-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer software, Computer science, Abstract data types (Computer science)
Publishers: Berlin : New York : Springer-Verlag
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540205373
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 238.56 MB
PDF Size: 6.47 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 414
Views: 464
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 b94458 archive torrent
Last Modified: 2022-03-09 09:33:32
Download
Size: 13.28 KB
Description
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:
Includes bibliographical references and index
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
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts