Recent Trends in Algebraic Development Techniques
Springer Berlin (Verlag)
978-3-642-37634-4 (ISBN)
The 16 revised papers presented were carefully reviewed and selected from 25 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.
Open Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Specifications.- Quantitative Modal Transition Systems.- Bounded Model Checking of Recursive Programs with Pointers in K.- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.- Adaptable Transition Systems.- Compiling Logics.- Transformation Systems with Incremental Negative Application Conditions.- Statistical Model Checking for Composite Actor Systems.- Barbed Semantics for Open Reactive Systems.- Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification of the Kademlia and the Kad Routing Tables in Maude.-A Generic Program Slicing Technique Based on Language Definitions.- Distances between Processes: A Pure Algebraic Approach.
| Erscheint lt. Verlag | 13.4.2013 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | X, 283 p. 71 illus. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 451 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | concurrent semantics • formal analysis • Maude • Model Checking • Rewriting Logic |
| ISBN-10 | 3-642-37634-7 / 3642376347 |
| ISBN-13 | 978-3-642-37634-4 / 9783642376344 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
