default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZB 2005: University of Surrey, Guildford, UK
- Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider:
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. Lecture Notes in Computer Science 3455, Springer 2005, ISBN 3-540-25559-1 - Cliff B. Jones
:
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. 1-5 - Michael Leuschel, Edd Turner:
Visualising Larger State Spaces in Pro B. 6-23 - John Derrick, Heike Wehrheim:
Non-atomic Refinement in Z and CSP. 24-44 - Steve Dunne, Stacey Conroy:
Process Refinement in B. 45-64 - Petra Malik, Mark Utting:
CZT: A Framework for Z Tools. 65-84 - Graeme Smith, Luke Wildman:
Model Checking Z Specifications Using SAL. 85-103 - Ian Toyn, Andy Galloway:
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. 104-123 - J. Christian Attiogbé:
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. 124-141 - Pontus Boström, Marina Waldén:
An Extension of Event B for Developing Grid Systems. 142-161 - 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 - Frank Zeyda, Bill Stoddart, Steve Dunne:
A Prospective-Value Semantics for the GSL. 187-202 - Richard Banach, Simon Fraser:
Retrenchment and the B-Toolkit. 203-221 - 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 - Yann Zimmermann, Diana Toma:
Component Reuse in B Using ACL2. 279-298 - 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 - Eerke A. Boiten, John Derrick:
Formal Program Development with Approximations. 374-392 - Lindsay Groves:
Practical Data Refinement for the Z Schema Calculus. 393-413 - Ingo Brückner, Heike Wehrheim:
Slicing Object-Z Specifications for Verification. 414-433 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
