Conferences in DBLP
Eric C. R. Hehner , Ioannis T. Kassios Theories, Implementations, and Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Cansell , Ganesh Gopalakrishnan , Michael D. Jones , Dominique Méry , Airy Weinzoepflen Incremental Proof of the Producer/Consumer Property for the PCI Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Poppleton , Richard Banach Controlling Control Systems: An Application of Evolving Retrenchment. [Citation Graph (0, 0)][DBLP ] Conf ] Neil J. Robinson Checking Z Data Refinements Using an Animation Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith , Florian Kammüller , Thomas Santen Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Toyn , Susan Stepney Characters + Mark-up = Z Lexis. [Citation Graph (0, 0)][DBLP ] Conf ] Marielle Doche , Andrew M. Gravell Extraction of Abstraction Invariants for Data Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Mikhailov , Michael J. Butler An Approach to Combining B and Alloy. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back Software Construction by Stepwise Feature Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Ana Cavalcanti The Semantics of Circus. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Miarka , John Derrick , Eerke A. Boiten Handling Inconsistencies in Z Using Quasi-Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Eerke A. Boiten Loose Specification and Refinement in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial , Louis Mussat On Using Conditional Definitions in Formal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Dunne A Theory of Generalised Substitutions. [Citation Graph (0, 0)][DBLP ] Conf ] Sergiy A. Vilkomir , Jonathan P. Bowen Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Legeard , Fabien Peureux , Mark Utting A Comparison of the BTT and TTF Test-Generation Methods. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Frank Rittinger , Luca Viganò A Formal Analysis of the CORBA Security Service. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Bodeveix , Mamoun Filali Type Synthesis in B and the Translation of B to PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial , Dominique Cansell , Guy Laffitte "Higher-Order" Mathematics in B. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Chartier ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. [Citation Graph (0, 0)][DBLP ] Conf ] James Blow , Andy Galloway Generalised Substitution Language and Differentials. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Schneider , Helen Treharne Communicating B Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Bellegarde , Jacques Julliand , Olga Kouchnarenko Synchronized Parallel Composition of Event Systems in B. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis Papatsaras , Bill Stoddart Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Bellegarde , Samir Chouali , Jacques Julliand Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , David A. Carrington A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Regine Laleau , Fiona Polack Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. [Citation Graph (0, 0)][DBLP ] Conf ] 