Search results for "ZB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cliff B. Jones	Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
1	Judy Bowen, Steve Reeves	Including Design Guidelines in the Formal Specification of Interfaces in Z.	ZB	2005	DBLP DOI BibTeX RDF
1	Helen Treharne, Steve King 0001, 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	ZB	2005	DBLP DOI BibTeX RDF
1	Ingo Brückner, Heike Wehrheim	Slicing Object-Z Specifications for Verification.	ZB	2005	DBLP DOI BibTeX RDF
1	Benjamin W. Long	Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.	ZB	2005	DBLP DOI BibTeX RDF
1	J. Christian Attiogbé	A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Mutual Exclusion, Event B, Parallel Composition
1	John Derrick, Heike Wehrheim	Non-atomic Refinement in Z and CSP.	ZB	2005	DBLP DOI BibTeX RDF
1	Petra Malik, Mark Utting	CZT: A Framework for Z Tools.	ZB	2005	DBLP DOI BibTeX RDF
1	Lindsay Groves	Practical Data Refinement for the Z Schema Calculus.	ZB	2005	DBLP DOI BibTeX RDF
1	Michael Leuschel, Edd Turner	Visualising Larger State Spaces in Pro B.	ZB	2005	DBLP DOI BibTeX RDF	Model Checking, Formal Methods, Animation, Logic Programming, Visualisation, Tool Support, B-Method
1	Ian Toyn, Andy Galloway	Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.	ZB	2005	DBLP DOI BibTeX RDF
1	Nuno Amálio, Fiona Polack, Susan Stepney	An Object-Oriented Structuring for Z Based on Views.	ZB	2005	DBLP DOI BibTeX RDF	object-orientation, Z
1	Eerke A. Boiten, John Derrick	Formal Program Development with Approximations.	ZB	2005	DBLP DOI BibTeX RDF
1	Frédéric Badeau, Arnaud Amelot	Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.	ZB	2005	DBLP DOI BibTeX RDF
1	Jemima Rossmorris, Susan Stepney	Requirements as Conjectures: Intuitive DVD Menu Navigation.	ZB	2005	DBLP DOI BibTeX RDF	requirements, Z, DVD, conjectures
1	Steve Dunne, Stacey Conroy	Process Refinement in B.	ZB	2005	DBLP DOI BibTeX RDF
1	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
1	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	Checking JML Specifications with B Machines.	ZB	2005	DBLP DOI BibTeX RDF	object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language
1	Soon-Kyeong Kim, David A. Carrington	A Rigorous Foundation for Pattern-Based Design Models.	ZB	2005	DBLP DOI BibTeX RDF
1	Richard Banach, Simon Fraser	Retrenchment and the B-Toolkit.	ZB	2005	DBLP DOI BibTeX RDF
1	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Development via Refinement in Probabilistic B - Foundation and Case Study.	ZB	2005	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
1	Abdolbaghi Rezazadeh, Michael J. Butler	Some Guidelines for Formal Development of Web-Based Applications in B-Method.	ZB	2005	DBLP DOI BibTeX RDF
1	Graeme Smith 0001, Luke Wildman	Model Checking Z Specifications Using SAL.	ZB	2005	DBLP DOI BibTeX RDF	model checking, tool support, Z, SAL
1	Pontus Boström, Marina Waldén	An Extension of Event B for Developing Grid Systems.	ZB	2005	DBLP DOI BibTeX RDF
1	Yann Zimmermann, Diana Toma	Component Reuse in B Using ACL2.	ZB	2005	DBLP DOI BibTeX RDF
1	Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial	The Challenge of Probabilistic Event B - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
1	Didier Bert, Marie-Laure Potet, Nicolas Stouls	GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.	ZB	2005	DBLP DOI BibTeX RDF
1	Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Refinement Preserves PLTL Properties.	ZB	2003	DBLP DOI BibTeX RDF	Presevation of PLTL properties, B event systems, Refinement development
1	John Derrick, Heike Wehrheim	Using Coupled Simulations in Non-atomic Refinement.	ZB	2003	DBLP DOI BibTeX RDF	Non-atomic refinement, coupled simulations, Z, action refinement
1	Bertrand Meyer 0001	Towards Practical Proofs of Class Correctness.	ZB	2003	DBLP DOI BibTeX RDF
1	Mark Utting, Shaochun Wang	Object Orientation without Extending Z.	ZB	2003	DBLP DOI BibTeX RDF
1	Susan Stepney, Fiona Polack, Ian Toyn	Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.	ZB	2003	DBLP DOI BibTeX RDF	patterns, refactoring, Z, development methods
1	Bill Stoddart, Frank Zeyda	Expression Transformers in B-GSL.	ZB	2003	DBLP DOI BibTeX RDF	Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers
1	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Formal Derivation of Spanning Trees Algorithms.	ZB	2003	DBLP DOI BibTeX RDF
1	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
1	Lilian Burdy, Antoine Requet	Extending B with Control Flow Breaks.	ZB	2003	DBLP DOI BibTeX RDF
1	Moshe Deutsch, Martin C. Henson	An Analysis of Forward Simulation Data Refinement.	ZB	2003	DBLP DOI BibTeX RDF
1	Daniel Jackson 0001	Alloy: A Logical Modelling Language.	ZB	2003	DBLP DOI BibTeX RDF
1	Stefan Hallerstede	Parallel Hardware Design in B.	ZB	2003	DBLP DOI BibTeX RDF
1	Moshe Deutsch, Martin C. Henson, Steve Reeves	Operation Refinement and Monotonicity in the Schema Calculus.	ZB	2003	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Frédéric Gervais, Régine Laleau	Reuse of Specification Patterns with the B Method.	ZB	2003	DBLP DOI BibTeX RDF	Design pattern, reuse, B, specification pattern
1	Kirsten Winter, Graeme Smith 0001	Compositional Verification for Object-Z.	ZB	2003	DBLP DOI BibTeX RDF
1	John Derrick	Timed CSP and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	Refinement, Object-Z, Timed CSP
1	Robert M. Hierons, Mark Harman, Harbhajan Singh	Automatically Generating Information from a Z Specification to Support the Classification Tree Method.	ZB	2003	DBLP DOI BibTeX RDF	formal methods, test automation, Z notation, Classification tree method
1	Guilhem Pouzancre	How to Diagnose a Modern Car with a Formal B Model?.	ZB	2003	DBLP DOI BibTeX RDF
1	Didier Bert, Jonathan P. Bowen, Steve King 0001, Marina Waldén (eds.)	ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings	ZB	2003	DBLP DOI BibTeX RDF
1	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
1	Annabelle McIver, Carroll Morgan, Thai Son Hoang	Probabilistic Termination in B.	ZB	2003	DBLP DOI BibTeX RDF
1	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
1	Christine Poerschke, David E. Lightfoot, John L. Nealon	A Formal Specification in B of a Medical Decision Support System.	ZB	2003	DBLP DOI BibTeX RDF
1	Frédéric Peschanski, David Julien	When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.	ZB	2003	DBLP DOI BibTeX RDF
1	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
1	Mark Utting, Ian Toyn, Jing Sun 0002, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie	ZML: XML Support for Standard Z.	ZB	2003	DBLP DOI BibTeX RDF
1	Carla Ferreira 0001, Michael J. Butler	Using B Refinement to Analyse Compensating Business Processes.	ZB	2003	DBLP DOI BibTeX RDF
1	Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum	Towards Dynamic Population Management of Abstract Machines in the B Method.	ZB	2003	DBLP DOI BibTeX RDF	modularisation, object orientation, dynamic reconfiguration, Structuring mechanisms
1	Susan Stepney, Fiona Polack, Ian Toyn	An Outline Pattern Language for Z: Five Illustrations and Two Tables.	ZB	2003	DBLP DOI BibTeX RDF	patterns, Z, development methods
1	Graeme Smith 0001, Kirsten Winter	Proving Temporal Properties of Z Specifications Using Abstraction.	ZB	2003	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial	B#: Toward a Synthesis between Z and B.	ZB	2003	DBLP DOI BibTeX RDF
1	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
1	Steve A. Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
1	Eerke A. Boiten	Loose Specification and Refinement in Z.	ZB	2002	DBLP DOI BibTeX RDF	model containment, states-and-operations, loose specification, semantics, refinement, Z
1	Michael Poppleton, Richard Banach	Controlling Control Systems: An Application of Evolving Retrenchment.	ZB	2002	DBLP DOI BibTeX RDF
1	James Blow, Andy Galloway	Generalised Substitution Language and Differentials.	ZB	2002	DBLP DOI BibTeX RDF
1	Soon-Kyeong Kim, David A. Carrington	A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.	ZB	2002	DBLP DOI BibTeX RDF
1	Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen	Incremental Proof of the Producer/Consumer Property for the PCI Protocol.	ZB	2002	DBLP DOI BibTeX RDF
1	Steve Dunne	A Theory of Generalised Substitutions.	ZB	2002	DBLP DOI BibTeX RDF
1	David A. Basin, Frank Rittinger, Luca Viganò 0001	A Formal Analysis of the CORBA Security Service.	ZB	2002	DBLP DOI BibTeX RDF
1	Ralph-Johan Back	Software Construction by Stepwise Feature Introduction.	ZB	2002	DBLP DOI BibTeX RDF
1	Neil J. Robinson	Checking Z Data Refinements Using an Animation Tool.	ZB	2002	DBLP DOI BibTeX RDF
1	Jim Woodcock 0001, Ana Cavalcanti 0001	The Semantics of Circus.	ZB	2002	DBLP DOI BibTeX RDF
1	Eric C. R. Hehner, Ioannis T. Kassios	Theories, Implementations, and Transformations.	ZB	2002	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte	"Higher-Order" Mathematics in B.	ZB	2002	DBLP DOI BibTeX RDF
1	Pierre Chartier	ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.	ZB	2002	DBLP DOI BibTeX RDF
1	Jean-Paul Bodeveix, Mamoun Filali	Type Synthesis in B and the Translation of B to PVS.	ZB	2002	DBLP DOI BibTeX RDF	semantics, type theory, PVS, logical frameworks, B
1	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
1	Jean-Raymond Abrial, Louis Mussat	On Using Conditional Definitions in Formal Theories.	ZB	2002	DBLP DOI BibTeX RDF
1	Ralph Miarka, John Derrick, Eerke A. Boiten	Handling Inconsistencies in Z Using Quasi-Classical Logic.	ZB	2002	DBLP DOI BibTeX RDF
1	Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (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	ZB	2002	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Synchronized Parallel Composition of Event Systems in B.	ZB	2002	DBLP DOI BibTeX RDF
1	Regine Laleau, Fiona Polack	Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.	ZB	2002	DBLP DOI BibTeX RDF
1	Marielle Doche, Andrew M. Gravell	Extraction of Abstraction Invariants for Data Refinement.	ZB	2002	DBLP DOI BibTeX RDF	failure refinement, distributed system, Formal specification, CSP, B, data refinement
1	Bruno Legeard, Fabien Peureux, Mark Utting	A Comparison of the BTT and TTF Test-Generation Methods.	ZB	2002	DBLP DOI BibTeX RDF
1	Antonis D. Papatsaras, Bill Stoddart	Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.	ZB	2002	DBLP DOI BibTeX RDF
1	Ian Toyn, Susan Stepney	Characters + Mark-up = Z Lexis.	ZB	2002	DBLP DOI BibTeX RDF
1	Graeme Smith 0001, Florian Kammüller, Thomas Santen	Encoding Object-Z in Isabelle/HOL.	ZB	2002	DBLP DOI BibTeX RDF	reference semantics, Object-Z, higher-order logic, Isabelle
1	Leonid Mikhailov, Michael J. Butler	An Approach to Combining B and Alloy.	ZB	2002	DBLP DOI BibTeX RDF	B-method, Alloy
1	Sergiy A. Vilkomir, Jonathan P. Bowen	Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.	ZB	2002	DBLP DOI BibTeX RDF
1	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
1	Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King 0001	Typechecking Z.	ZB	2000	DBLP DOI BibTeX RDF
1	David Everett	Zzzzzzzzzzzzzzzzzzzzzzzzzz.	ZB	2000	DBLP DOI BibTeX RDF
1	J. Michael Spivey	Meeting the Challenge of Object-Oriented Programming.	ZB	2000	DBLP DOI BibTeX RDF
1	Jean-Louis Lanet	Are Smart Cards the Ideal Domain for Applying Formal Methods?	ZB	2000	DBLP DOI BibTeX RDF
1	Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King 0001	Type-Constrained Generics for Z.	ZB	2000	DBLP DOI BibTeX RDF
1	Dominique Cansell, Dominique Méry	Playing with Abstraction and Refinement for Managing Features Interactions.	ZB	2000	DBLP DOI BibTeX RDF
1	Régine Laleau, Amel Mammar	A Generic Process to Refine a B Specification into a Relational Database Implementation.	ZB	2000	DBLP DOI BibTeX RDF	Refinement Process, Relational Database Implementation, B method
1	David A. Duffy, Ian Toyn	Reasoning Inductively about Z Specifications via Unification.	ZB	2000	DBLP DOI BibTeX RDF
1	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.	ZB	2000	DBLP DOI BibTeX RDF
1	Soon-Kyeong Kim, David A. Carrington	A Formal Mapping between UML Models and Object-Z Specifications.	ZB	2000	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp	A Computation Model for Z Based on Concurrent Constraint Resolution.	ZB	2000	DBLP DOI BibTeX RDF

Publications at "ZB"( http://dblp.L3S.de/Venues/ZB )