New Added

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Like Score+351

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Original Title Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Author WADT 2002 (2002 : Frauenchiemsee, Germany), Wirsing, M. (Martin), Pattinson, Dirk, 1970-, Hennicker, Rolf, 1952-
Publication date

Topics Computer software, Computer science, Abstract data types (Computer science)
Publisher Berlin : New York : Springer-Verlag
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected PapersAuthor: Martin Wirsing, Dirk Pattinson, Rolf Hennicker Published by Springer Berlin Heidelberg ISBN: 978-3-540-20537-1 DOI: 10.1007/b94458Table 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 CoordinationIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0