Skip to main content
SpringerLink
Log in
Book cover

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Didier Bert

    1. Laboratoire LSR, IMAG, CNRS, Saint Martin d’Hères Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jonathan P. Bowen

    1. SCISM, Centre for Applied Fromal Methods, SouthBank University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin C. Henson

    1. Department of Computer Science, University of Essex, Colchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ken Robinson

    1. CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, Sydney, Australia

    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 2272)

Included in the following conference series:

Conference proceedings info: ZB 2002.

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 (27 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Theories, Implementations, and Transformations

    • Eric Hehner, Ioannis T. Kassios
    Pages 1-21

  3. Incremental Proof of the Producer/Consumer Property for the PCI Protocol

    • Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen
    Pages 22-41

  4. Controlling Control Systems: An Application of Evolving Retrenchment

    • Michael Poppleton, Richard Banach
    Pages 42-61

  5. Checking Z Data Refinements Using an Animation Tool

    • Neil J. Robinson
    Pages 62-81

  6. Encoding Object-Z in Isabelle/HOL

    • Graeme Smith, Florian Kammüller, Thomas Santen
    Pages 82-99

  7. Characters + Mark-up = Z Lexis

    • Ian Toyn, Susan Stepney
    Pages 100-119

  8. Extraction of Abstraction Invariants for Data Refinement

    • Marielle Doche, Andrew Gravell
    Pages 120-139

  9. An Approach to Combining B and Alloy

    • Leonid Mikhailov, Michael Butler
    Pages 140-161

  10. Software Construction by Stepwise Feature Introduction

    • Ralph-Johan Back
    Pages 162-183

  11. The Semantics of Circus

    • Jim Woodcock, Ana Cavalcanti
    Pages 184-203

  12. Handling Inconsistencies in Z Using Quasi-Classical Logic

    • Ralph Miarka, John Derrick, Eerke Boiten
    Pages 204-225

  13. Loose Specification and Refinement in Z

    • Eerke Boiten
    Pages 226-241

  14. On Using Conditional Definitions in Formal Theories

    • Jean-Raymond Abrial, Louis Mussat
    Pages 242-269

  15. A Theory of Generalised Substitutions

    • Steve Dunne
    Pages 270-290

  16. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing

    • Sergiy A. Vilkomir, Jonathan P. Bowen
    Pages 291-308

  17. A Comparison of the BTT and TTF Test-Generation Methods

    • Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 309-329

  18. A Formal Analysis of the CORBA Security Service

    • David Basin, Frank Rittinger, Luca Viganó
    Pages 330-349

  19. Type Synthesis in B and the Translation of B to PVS

    • Jean-Paul Bodeveix, Mamoun Filali
    Pages 350-369

  20. “Higher-Order” Mathematics in B

    • Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
    Pages 370-393
Back to top

Keywords

Editors and Affiliations

  • Laboratoire LSR, IMAG, CNRS, Saint Martin d’Hères Cedex, France

    Didier Bert

  • SCISM, Centre for Applied Fromal Methods, SouthBank University, London, UK

    Jonathan P. Bowen

  • Department of Computer Science, University of Essex, Colchester, UK

    Martin C. Henson

  • CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, Sydney, Australia

    Ken Robinson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation