Вы здесь

Главная

b

Связанные издания:

A Formal Specification in B of a Medical Decision Support System
An Approach to Combining B and Alloy
An Object-Based Approach to the B Formal Method
A Theory of Generalised Sustitutions
B 98: Recent Advances in the Development and Use of the B Method: Proc./Second Intern. B Conf. Montpellier, France, April 1998
Behavioral Conformance Verification in an Integrated Approach Using UML and B
B#: Toward a Synthesis between Z and B
CLPS-B - A Constraint Solver for B
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
Communicating B Machines
Composing Specifications Using Communication
Composition and Refinement in the B-Method
Contributions for Modeling UML State-Charts in B
Controlling Control Systems: An Application of Evolving Retrenchment
Designing a B Model for Safety-Critical Software Systems
Embedding Formally Proved Code in a Smart Card: Converting B to C
Formal Development of Databases in ASSO and B
Formalisation of B in Isabelle/HOL
From a B Specification to UML StateChart Diagrams
From Implicit Specifications to Explicit Designs in Reactive System Development
Introducing Backward Refinement into B
Introducing Dynamic Constraints in B
Modular Verification for a Class of PLTL Properties
On B
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method
Proving Event Ordering Properties for Information Systems
Reactive System Refinement of Distributed Systems in B
Refinement Preserves PLTL Properties
Retrenchment: An Engineering Variation on Refinement
Reuse of Specification Patterns with the B Method
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
Structuring Reactive Systems in B AMN
Synchronized Parallel Composition of Event Systems in B
Test Case Preparation Using a Prototype
The Generalised Substitution Language Extended to Probabilistic Programs
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
Translating Statecharts to B
Type Synthesis in B and the Translation of B to PVS
Using B Refinement to Analyse Compensating Business Processes
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
Well Defined B
ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002
ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003