Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Mihai Codescu

    1. Otto-von-Guericke-Universität Magedeburg , Magdeburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Răzvan Diaconescu

    1. Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ionuț Țuțu

    1. Royal Holloway University of London, Egham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9463)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WADT 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Logic Embeddings and Gödel’s God

      • Christoph Benzmüller, Bruno Woltzenlogel Paleo
      Pages 3-6

  3. Contributed Papers

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. An Institutional Foundation for the \(\mathbb {K}\) Semantic Framework

      • Claudia Elena Chiriţă, Traian Florin Şerbănuţă
      Pages 9-29

    3. A Theoretical Foundation for Programming Languages Aggregation

      • Ştefan Ciobâcă, Dorel Lucanu, Vlad Rusu, Grigore Roşu
      Pages 30-47

    4. Coalgebraic Semantics of Heavy-Weighted Automata

      • Marie Fortin, Marcello M. Bonsangue, Jan Rutten
      Pages 48-68

    5. Foundations of Logic Programming in Hybridised Logics

      • Daniel Găină
      Pages 69-89

    6. What Is a Derived Signature Morphism?

      • Till Mossakowski, Ulf Krumnack, Tom Maibaum
      Pages 90-109

    7. Use Case Analysis Based on Formal Methods: An Empirical Study

      • Marcos Oliveira Jr., Leila Ribeiro, Érika Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis
      Pages 110-130

    8. A Full Operational Semantics for Asynchronous Relational Networks

      • Ignacio Vissani, Carlos Gustavo Lopez Pombo, Ionuţ Ţuţu, José Luiz Fiadeiro
      Pages 131-150

    9. A SOC-Based Formal Specification and Verification of Hybrid Systems

      • Ning Yu, Martin Wirsing
      Pages 151-169

  4. Back Matter

    Pages 171-171
    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.
The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, 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.

Editors and Affiliations

  • Otto-von-Guericke-Universität Magedeburg , Magdeburg, Germany

    Mihai Codescu

  • Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Răzvan Diaconescu

  • Royal Holloway University of London, Egham, UK

    Ionuț Țuțu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation