Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (Eds.): ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25559-1- Cliff B. Jones: Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. 1-5
- Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. 104-123
- Christian Attiogbé: A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. 124-141
- Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial: The Challenge of Probabilistic Event B - Extended Abstract. 162-171
- Jemima Rossmorris, Susan Stepney: Requirements as Conjectures: Intuitive DVD Menu Navigation. 172-186
- Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in EventB. 222-241
- Soon-Kyeong Kim, David A. Carrington: A Rigorous Foundation for Pattern-Based Design Models. 242-261
- Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. 262-278
- Didier Bert, Marie-Laure Potet, Nicolas Stouls: GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. 299-318
- Benjamin W. Long: Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. 319-333
- Frédéric Badeau, Arnaud Amelot: Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. 334-354
- Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. 355-373
- Lindsay Groves: Practical Data Refinement for the Z Schema Calculus. 393-413
- Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. 434-453
- Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. 454-471
- Abdolbaghi Rezazadeh, Michael J. Butler: Some Guidelines for Formal Development of Web-Based Applications in B-Method. 472-492
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team