default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZB 2002: Grenoble, France
- Didier Bert, Jonathan P. Bowen
, Martin C. Henson, Ken Robinson:
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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 - Eric C. R. Hehner, Ioannis T. Kassios:
Theories, Implementations, and Transformations. 1-21 - Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 22-41 - Michael Poppleton, Richard Banach:
Controlling Control Systems: An Application of Evolving Retrenchment. 42-61 - Neil J. Robinson:
Checking Z Data Refinements Using an Animation Tool. 62-81 - Graeme Smith, Florian Kammüller, Thomas Santen:
Encoding Object-Z in Isabelle/HOL. 82-99 - Ian Toyn, Susan Stepney:
Characters + Mark-up = Z Lexis. 100-119 - Marielle Doche, Andrew M. Gravell:
Extraction of Abstraction Invariants for Data Refinement. 120-139 - Leonid Mikhailov, Michael J. Butler:
An Approach to Combining B and Alloy. 140-161 - Ralph-Johan Back:
Software Construction by Stepwise Feature Introduction. 162-183 - Jim Woodcock, Ana Cavalcanti:
The Semantics of Circus. 184-203 - Ralph Miarka, John Derrick, Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic. 204-225 - Eerke A. Boiten:
Loose Specification and Refinement in Z. 226-241 - Jean-Raymond Abrial, Louis Mussat:
On Using Conditional Definitions in Formal Theories. 242-269 - Steve Dunne:
A Theory of Generalised Substitutions. 270-290 - Sergiy A. Vilkomir, Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. 291-308 - Bruno Legeard, Fabien Peureux, Mark Utting:
A Comparison of the BTT and TTF Test-Generation Methods. 309-329 - David A. Basin, Frank Rittinger, Luca Viganò:
A Formal Analysis of the CORBA Security Service. 330-349 - Jean-Paul Bodeveix, Mamoun Filali:
Type Synthesis in B and the Translation of B to PVS. 350-369 - Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte:
"Higher-Order" Mathematics in B. 370-393 - Pierre Chartier:
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. 394-395 - James Blow, Andy Galloway:
Generalised Substitution Language and Differentials. 396-415 - Steve A. Schneider, Helen Treharne:
Communicating B Machines. 416-435 - Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko:
Synchronized Parallel Composition of Event Systems in B. 436-457 - Antonis D. Papatsaras, Bill Stoddart:
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 458-476 - Françoise Bellegarde, Samir Chouali, Jacques Julliand:
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 477-496 - Soon-Kyeong Kim, David A. Carrington:
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 497-516 - Regine Laleau, Fiona Polack:
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 517-534
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-19 22:19 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:
