Description |
1 online resource (x, 301 pages) : illustrations (some color) |
Series |
Lecture notes in computer science, 0302-9743 ; 7137 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7137.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Building a Modal Interface Theory for Concurrency and Data -- My ADT Shrine -- Evolving SOA in the Q-ImPrESS Project -- Sharing in the Graph Rewriting Calculus -- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions -- Towards a First-Order Deontic Action Logic -- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation -- Lambda Expressions in Casl Architectural Specifications -- A Proof Theoretic Interpretation of Model Theoretic Hiding -- Towards Logical Frameworks in the Heterogeneous Tool Set Hets -- An Institution for Graph Transformation -- New Results on Timed Specifications -- Combining Graph Transformation and Algebraic Specification into Model Transformation -- Towards Bialgebraic Semantics for the Linear Time -- Branching Time Spectrum -- Algebraic Signatures Enriched by Dependency Structure -- Compositional Modelling and Reasoning in an Institution for Processes and Data -- Proving Properties about Functions on Lists Involving Element Tests -- Test-Case Generation for Maude Functional Modules |
Summary |
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification |
Analysis |
Computer science |
|
Information theory |
|
Logic design |
|
Logic, Symbolic and mathematical |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
Mathematics of Computing |
|
Theory of Computation |
|
Computation by Abstract Devices |
|
Mathematical Logic and Foundations |
Bibliography |
Includes bibliographical references and author index |
Subject |
Computer software -- Development -- Congresses
|
|
Computer science -- Mathematics -- Congresses
|
|
Informatique.
|
|
Computer science -- Mathematics
|
|
Computer software -- Development
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Mossakowski, Till.
|
|
Kreowski, H.-J. (Hans-Jörg)
|
ISBN |
9783642284120 |
|
3642284124 |
|
3642284116 |
|
9783642284113 |
|