The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
From a B Specification to UML StateChart Diagrams
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
From a B formal specification to an executable code: application to the relational database domain
Information and Software Technology
Reuse of specification patterns with the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
| Hi-index | 0.00 |
B is a formal method which enables the automatic generation of an executable code through successive refinements from an abstract specification. Unified Modeling Language (UML) specifications can be formally verified by analyzing the corresponding B specification, and integration of UML specifications and B method can overcomes the drawbacks of UML. In this paper Statemate, one tool supporting the virtual prototype technology, is used, and the flight control software behaviors are presented in the form of statecharts The B method is adopted to translate the statecharts into B specification of flight control software.