Skip to main content
SpringerLink
Log in

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Egon Börger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Butler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jonathan P. Bowen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Paul Boca
    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 5238)

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

Included in the following conference series:

Conference proceedings info: ABZ 2008.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (48 papers)

  2. Chapter 4. Z Papers

    1. Z2SAL - Building a Model Checker for Z

      • John Derrick, Siobhán North, Anthony J. H. Simons
      Pages 280-293

    2. Formal Modeling and Analysis of a Flash Filesystem in Alloy

      • Eunsuk Kang, Daniel Jackson
      Pages 294-308

    3. Unit Testing of Z Specifications

      • Mark Utting, Petra Malik
      Pages 309-322

    4. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity

      • Nuno Amálio, Fiona Polack, Jing Zhang
      Pages 323-336

  3. Chapter 5. ABZ Short Papers

    1. Integrating Z into Large Projects Tools and Techniques

      • Anthony Hall
      Pages 337-337

    2. A First Attempt to Express KAOS Refinement Patterns with Event B

      • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
      Pages 338-338

    3. Verification and Validation of Web Service Composition Using Event B Method

      • Idir Ait-Sadoune, Yamine Ait-Ameur
      Pages 339-340

    4. Stability of Real-Time Abstract State Machines under Desynchronization

      • Joelle Cohen, Anatol Slissenko
      Pages 341-341

    5. XML Database Transformations with Tree Updates

      • Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim
      Pages 342-342

    6. Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance

      • Roozbeh Farahbod, Uwe Glässer
      Pages 343-343

    7. UML-B: A Plug-in for the Event-B Tool Set

      • Colin Snook, Michael Butler
      Pages 344-344

    8. BART: A Tool for Automatic Refinement

      • Antoine Requet
      Pages 345-345

    9. Model Checking Event-B by Encoding into Alloy

      • Paulo J. Matos, João Marques-Silva
      Pages 346-346

    10. A Roadmap for the Rodin Toolset

      • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
      Pages 347-347

    11. Exploiting the ASM Method for Validation & Verification of Embedded Systems

      • Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
      Pages 348-348

    12. Tool Support for the Circus Refinement Calculus

      • Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira
      Pages 349-349

    13. Separation of Z Operations

      • Ramsay Taylor
      Pages 350-350

    14. BSmart: A Tool for the Development of Java Card Applications with the B Method

      • David Déharbe, Bruno Gomes, Anamaria Moreira
      Pages 351-352
Back to top

Other volumes

  1. Abstract State Machines, B and Z

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation