Coverart for item
The Resource 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, Didier Bert [and others] (eds.)

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, Didier Bert [and others] (eds.)

Label
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
Title
ZB 2002
Title remainder
formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Statement of responsibility
Didier Bert [and others] (eds.)
Title variation
Formal specification and development in Z and B
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available via the Internet. Abstracts available without subscription.
Cataloging source
UKM
Dewey number
005.133
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
International Conference of B and Z Users
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Bert, Didier
Series statement
Lecture notes in computer science,
Series volume
2272
http://library.link/vocab/subjectName
  • B (Computer program language)
  • Z (Computer program language)
Label
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, Didier Bert [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Theories, Implementations, and Transformations / Eric Hehner and Ioannis T. Kassios -- Incremental Proof of the Producer/Consumer Property for the PCI Protocol / Dominique Cansell, Ganesh Gopalakrishnan and Mike Jones / [et al.] -- Controlling Control Systems: An Application of Evolving Retrenchment / Michael Poppleton and Richard Banach -- Checking Z Data Refinements Using an Animation Tool / Neil J. Robinson -- Encoding Object-Z in Isabelle/HOL / Graeme Smith, Florian Kammuller and Thomas Santen -- Characters + Mark-up = Z Lexis / Ian Toyn and Susan Stepney -- Extraction of Abstraction Invariants for Data Refinement / Marielle Doche and Andrew Gravell -- An Approach to Combining B and Alloy / Leonid Mikhailov and Michael Butler -- Software Construction by Stepwise Feature Introduction / Ralph-Johan Back -- The Semantics of Circus / Jim Woodcock and Ana Cavalcanti -- Handling Inconsistencies in Z Using Quasi-Classical Logic / Ralph Miarka, John Derrick and Eerke Boiten -- Loose Specification and Refinement in Z / Eerke Boiten -- On Using Conditional Definitions in Formal Theories / Jean-Raymond Abrial and Louis Mussat -- A Theory of Generalised Substitutions / Steve Dunne -- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing / Sergiy A. Vilkomir and Jonathan P. Bowen -- A Comparison of the BTT and TTF Test-Generation Methods / Bruno Legeard, Fabien Peureux and Mark Utting -- A Formal Analysis of the CORBA Security Service / David Basin, Frank Rittinger and Luca Vigano -- Type Synthesis in B and the Translation of B to PVS / Jean-Paul Bodeveix and Mamoun Filali -- "Higher-Order" Mathematics in B / Jean-Raymond Abrial, Dominique Cansell and Guy Laffitte -- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries / Pierre Chartier -- Generalised Substitution Language and Differentials / James Blow and Andy Galloway -- Communicating B Machines / Steve Schneider and Helen Treharne -- Synchronized Parallel Composition of Event Systems in B / Francoise Bellegarde, Jacques Julliand and Olga Kouchnarenko -- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study / Antonis Papatsaras and Bill Stoddart -- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions / Francoise Bellegarde, Samir Chouali and Jacques Julliand -- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints / Soon-Kyeong Kim and David Carrington -- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development / Regine Laleau and Fiona Polack
Control code
50581638
Dimensions
24 cm
Extent
xii, 534 pages
Isbn
9783540431664
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
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, Didier Bert [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Theories, Implementations, and Transformations / Eric Hehner and Ioannis T. Kassios -- Incremental Proof of the Producer/Consumer Property for the PCI Protocol / Dominique Cansell, Ganesh Gopalakrishnan and Mike Jones / [et al.] -- Controlling Control Systems: An Application of Evolving Retrenchment / Michael Poppleton and Richard Banach -- Checking Z Data Refinements Using an Animation Tool / Neil J. Robinson -- Encoding Object-Z in Isabelle/HOL / Graeme Smith, Florian Kammuller and Thomas Santen -- Characters + Mark-up = Z Lexis / Ian Toyn and Susan Stepney -- Extraction of Abstraction Invariants for Data Refinement / Marielle Doche and Andrew Gravell -- An Approach to Combining B and Alloy / Leonid Mikhailov and Michael Butler -- Software Construction by Stepwise Feature Introduction / Ralph-Johan Back -- The Semantics of Circus / Jim Woodcock and Ana Cavalcanti -- Handling Inconsistencies in Z Using Quasi-Classical Logic / Ralph Miarka, John Derrick and Eerke Boiten -- Loose Specification and Refinement in Z / Eerke Boiten -- On Using Conditional Definitions in Formal Theories / Jean-Raymond Abrial and Louis Mussat -- A Theory of Generalised Substitutions / Steve Dunne -- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing / Sergiy A. Vilkomir and Jonathan P. Bowen -- A Comparison of the BTT and TTF Test-Generation Methods / Bruno Legeard, Fabien Peureux and Mark Utting -- A Formal Analysis of the CORBA Security Service / David Basin, Frank Rittinger and Luca Vigano -- Type Synthesis in B and the Translation of B to PVS / Jean-Paul Bodeveix and Mamoun Filali -- "Higher-Order" Mathematics in B / Jean-Raymond Abrial, Dominique Cansell and Guy Laffitte -- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries / Pierre Chartier -- Generalised Substitution Language and Differentials / James Blow and Andy Galloway -- Communicating B Machines / Steve Schneider and Helen Treharne -- Synchronized Parallel Composition of Event Systems in B / Francoise Bellegarde, Jacques Julliand and Olga Kouchnarenko -- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study / Antonis Papatsaras and Bill Stoddart -- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions / Francoise Bellegarde, Samir Chouali and Jacques Julliand -- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints / Soon-Kyeong Kim and David Carrington -- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development / Regine Laleau and Fiona Polack
Control code
50581638
Dimensions
24 cm
Extent
xii, 534 pages
Isbn
9783540431664
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...