Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / [electronic resource] :
edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
- VIII, 464 p. online resource.
- Lecture Notes in Computer Science, 2755 0302-9743 ; .
- Lecture Notes in Computer Science, 2755 .
Invited Technical Papers -- 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 -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- 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 -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach.
9783540400202
10.1007/b94458 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Computer Science, general.
Software Engineering.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Invited Technical Papers -- 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 -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- 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 -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach.
9783540400202
10.1007/b94458 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Computer Science, general.
Software Engineering.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113