Amazon cover image
Image from Amazon.com

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7841. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2013.Description: 1 online resource (x, 282 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642376351
  • 3642376355
Other title:
  • WADT 2012
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.76.D47 W33 2012
NLM classification:
  • QA 76.76.D47
Online resources:
Contents:
Open Multiparty Interaction / Chiara Bodei, Linda Brodo, Roberto Bruni -- Behaviour Protection in Modular Rule-Based System Specifications / Francisco Durán, Fernando Orejas -- Quantitative Modal Transition Systems / Kim G. Larsen, Axel Legay -- Bounded Model Checking of Recursive Programs with Pointers in K / Irina Măriuca Asăvoae, Frank de Boer -- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing / Lucian Bentea, Peter Csaba Ölveczky -- Adaptable Transition Systems / Roberto Bruni, Andrea Corradini -- Compiling Logics / Mihai Codescu, Fulya Horozal -- Transformation Systems with Incremental Negative Application Conditions / Andrea Corradini, Reiko Heckel -- Statistical Model Checking for Composite Actor Systems / Jonas Eckhardt, Tobias Mühlbauer -- Barbed Semantics for Open Reactive Systems / Fabio Gadducci, Giacoma Valentina Monreale -- Designing Domain Specific Languages -- A Craftsman's Approach for the Railway Domain Using Casl / Phillip James, Alexander Knapp -- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics / Carlos Gustavo López Pombo, Pablo F. Castro -- Semantics of the Distributed Ontology Language: Institutes and Institutions / Till Mossakowski, Oliver Kutz -- Formal Specification of the Kademlia and the Kad Routing Tables in Maude / Isabel Pita, María-Inés Fernández-Camacho -- A Generic Program Slicing Technique Based on Language Definitions / Adrián Riesco, Irina Măriuca Asăvoae -- Distances between Processes: A Pure Algebraic Approach / David Romero Hernández.
Summary: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Open Multiparty Interaction / Chiara Bodei, Linda Brodo, Roberto Bruni -- Behaviour Protection in Modular Rule-Based System Specifications / Francisco Durán, Fernando Orejas -- Quantitative Modal Transition Systems / Kim G. Larsen, Axel Legay -- Bounded Model Checking of Recursive Programs with Pointers in K / Irina Măriuca Asăvoae, Frank de Boer -- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing / Lucian Bentea, Peter Csaba Ölveczky -- Adaptable Transition Systems / Roberto Bruni, Andrea Corradini -- Compiling Logics / Mihai Codescu, Fulya Horozal -- Transformation Systems with Incremental Negative Application Conditions / Andrea Corradini, Reiko Heckel -- Statistical Model Checking for Composite Actor Systems / Jonas Eckhardt, Tobias Mühlbauer -- Barbed Semantics for Open Reactive Systems / Fabio Gadducci, Giacoma Valentina Monreale -- Designing Domain Specific Languages -- A Craftsman's Approach for the Railway Domain Using Casl / Phillip James, Alexander Knapp -- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics / Carlos Gustavo López Pombo, Pablo F. Castro -- Semantics of the Distributed Ontology Language: Institutes and Institutions / Till Mossakowski, Oliver Kutz -- Formal Specification of the Kademlia and the Kad Routing Tables in Maude / Isabel Pita, María-Inés Fernández-Camacho -- A Generic Program Slicing Technique Based on Language Definitions / Adrián Riesco, Irina Măriuca Asăvoae -- Distances between Processes: A Pure Algebraic Approach / David Romero Hernández.

Online resource; title from PDF title page (SpringerLink, viewed May 23, 2013).

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. 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.

Powered by Koha