Search results for "B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
1	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
1	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
1	Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières	Incremental development of UML specifications using operation refinements.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Incremental specification, UML, Refinement, B
1	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
1	David Chemouil	The Design of Spacecraft On-Board Software.	B	2007	DBLP DOI BibTeX RDF
1	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
1	Sylvain Boulmé, Marie-Laure Potet	Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.	B	2007	DBLP DOI BibTeX RDF
1	Ian Oliver	Experiences in Using B and UML in Industrial Development.	B	2007	DBLP DOI BibTeX RDF
1	Stefan Hallerstede	Justifications for the Event-B Modelling Notation.	B	2007	DBLP DOI BibTeX RDF
1	Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing.	B	2007	DBLP DOI BibTeX RDF
1	Edward Chan, Ken Robinson, Brett Welch	Patterns for B: Bridging Formal and Informal Development.	B	2007	DBLP DOI BibTeX RDF
1	Steve Dunne	Chorus Angelorum.	B	2007	DBLP DOI BibTeX RDF
1	Neil Evans, Wilson Ifill	Hardware Verification and Beyond: Using B at AWE.	B	2007	DBLP DOI BibTeX RDF
1	Wilson Ifill, Steve A. Schneider, Helen Treharne	Augmenting B with Control Annotations.	B	2007	DBLP DOI BibTeX RDF
1	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
1	Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén	Formal Transformation of Platform Independent Models into Platform Specific Models.	B	2007	DBLP DOI BibTeX RDF
1	Eddie Jaffuel, Bruno Legeard	LEIRIOS Test Generator: Automated Test Generation from B Models.	B	2007	DBLP DOI BibTeX RDF
1	Nazim Benaïssa, Dominique Cansell, Dominique Méry	Integration of Security Policy into System Modeling.	B	2007	DBLP DOI BibTeX RDF	integration, refinement, security policy
1	Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy	The B-Method for the Construction of Microkernel-Based Systems.	B	2007	DBLP DOI BibTeX RDF
1	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner	Symmetry Reduction for B by Permutation Flooding.	B	2007	DBLP DOI BibTeX RDF	Symmetry Reduction.1, Model Checking, Tool Support, B-Method
1	Dominique Cansell, Dominique Méry, Joris Rehm	Time Constraint Patterns for Event B Development.	B	2007	DBLP DOI BibTeX RDF	distributed systems, refinement, pattern, event B
1	Julien Groslambert	A.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, LTL
1	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	JML2B: Checking JML Specifications with B Machines.	B	2007	DBLP DOI BibTeX RDF
1	Joseph M. Morris	Plug-and-Play Nondeterminacy.	B	2007	DBLP DOI BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
1	Eddie Jaffuel	Using B Machines for Model-Based Testing of Smartcard Software.	B	2007	DBLP DOI BibTeX RDF
1	Nicolas Stouls, Marie-Laure Potet	Security Policy Enforcement Through Refinement Process.	B	2007	DBLP DOI BibTeX RDF
1	Julien Groslambert	Verification of LTL on B Event Systems.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, Refinement, LTL
1	Jens Bendisposto, Michael Leuschel	BE4: The B Extensible Eclipse Editing Environment.	B	2007	DBLP DOI BibTeX RDF
1	J. Paul Gibson	E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future.	B	2007	DBLP DOI BibTeX RDF
1	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
1	Thierry Servat	BRAMA: A New Graphic Animation Tool for B Models.	B	2007	DBLP DOI BibTeX RDF
1	Amal Haddad	Meca: A Tool for Access Control Models.	B	2007	DBLP DOI BibTeX RDF
1	Jens Bendisposto, Michael Leuschel	A Generic Flash-Based Animation Engine for ProB.	B	2007	DBLP DOI BibTeX RDF	Animation, Tool Support, B-Method
1	Mathieu Clabaut	A Tool for Firewall Administration.	B	2007	DBLP DOI BibTeX RDF
1	Didier Essamé, Daniel Dollé	B in Large-Scale Projects: The Canarsie Line CBTC Experience.	B	2007	DBLP DOI BibTeX RDF
1	Akram Idani, Yves Ledru	Object oriented concepts identification from formal B specifications.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	UML, B, Integrated methods
1	Neil Evans, Helen Treharne	Interactive tool support for CSP \|\| B consistency checking.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
1	Jacques Julliand, Olga Kouchnarenko (eds.)	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings	B	2006	DBLP DOI BibTeX RDF
1	Amel Mammar, Régine Laleau	A formal approach based on UML and B for the specification and development of database applications.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Relational implementation, UML, Formal methods, Integration, Database applications, B
1	Akram Idani, Yves Ledru, Didier Bert	A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.	SEW	2006	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Concept formation
1	Jean-Raymond Abrial	Formal methods in industry: achievements, problems, future.	ICSE	2006	DBLP DOI BibTeX RDF	formal method, correctness, development process, B, train system
1	Neil Evans, Helen Treharne	Investigating a file transfer protocol using CSP and B.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	CSP, Compositional verification, B, Combining formalisms
1	Benoît Fraikin, Marc Frappier, Régine Laleau	State-based versus event-based specifications for information systems: a comparison of B and eb3.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	State-based paradigm, Event-based paradigm, eb3, Formal specification, Information system, Process algebra, B
1	Akram Idani, Yves Ledru, Didier Bert	Derivation of UML Class Diagrams as Static Views of Formal B Developments.	ICFEM	2005	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Method integration
1	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
1	Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières	Consistency in UML and B Multi-view Specifications.	IFM	2005	DBLP DOI BibTeX RDF	UML, verification, consistency, operator, B, multi-view
1	Kevin Lano, David Clark 0001, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
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	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	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	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
1	Michael J. Butler	On the Use of Data Refinement in the Development of Secure Communications Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Refinement, Security protocols, CSP, B, Action systems
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	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	Bill Stoddart	An Execution Architecture for GSL.	ZB	2000	DBLP DOI BibTeX RDF	Animation, Virtual Machines, Reversible Computation, B
1	Pierre Chartier	Formalisation of B in Isabelle/HOL.	B	1998	DBLP DOI BibTeX RDF
1	Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët	Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.	B	1998	DBLP DOI BibTeX RDF
1	Helen Treharne, J. Draper, Steve A. Schneider	Test Case Preparation Using a Prototype.	B	1998	DBLP DOI BibTeX RDF	Formal Software Lifecycle, Prototype, B-Method
1	Brian Matthews, Brian Ritchie, Juan Bicarregui	Synthesising Structure from Flat Specifications.	B	1998	DBLP DOI BibTeX RDF
1	Didier Bert (eds.)	B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings	B	1998	DBLP DOI BibTeX RDF
1	François Pilarski	Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.	B	1998	DBLP DOI BibTeX RDF
1	Alexander Malioukov	An Object-Based Approach to the B Formal Method.	B	1998	DBLP DOI BibTeX RDF
1	Marie-Laure Potet, Yann Rouzaud	Composition and Refinement in the B-Method.	B	1998	DBLP DOI BibTeX RDF
1	Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley	Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.	B	1998	DBLP DOI BibTeX RDF
1	Patrick Behm, Lilian Burdy, Jean-Marc Meynadier	Well Defined B.	B	1998	DBLP DOI BibTeX RDF
1	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore	Abstract State Machines: Designing Distributed Systems with State Machines and B.	B	1998	DBLP DOI BibTeX RDF
1	Patrick Behm, Pierre Desforges, Jean-Marc Meynadier	MÉTÉOR : An Industrial Success in Formal Development.	B	1998	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial	On B.	B	1998	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial, Louis Mussat	Introducing Dynamic Constraints in B.	B	1998	DBLP DOI BibTeX RDF
1	Marina Waldén	Layering Distributed Algorithms within the B-Method.	B	1998	DBLP DOI BibTeX RDF
1	Souâd Taouil-Traverson, Sylvie Vignes	Designing a B Model for Safety-Critical Software Systems.	B	1998	DBLP DOI BibTeX RDF
1	Richard Banach, Michael Poppleton	Retrenchment: An Engineering Variation on Refinement.	B	1998	DBLP DOI BibTeX RDF
1	Philipp A. Heuberger	Two Strategies to Data-Refine an Equivalence to a Forest.	B	1998	DBLP DOI BibTeX RDF
1	Emil Sekerinski	Graphical Design of Reactive Systems.	B	1998	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm	Investigating the Integration of two Formal Methods.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Heterogeneous development, Formal specification, Translation, Tool support, B, VDM
1	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
1	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity