Statecharts: A visual formalism for complex systems
Science of Computer Programming
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Graphical Design of Reactive Systems
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
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
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Construction of Finite Labelled Transistion Systems from B Abstract Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Transformation of B specifications into UML class diagrams and state machines
Proceedings of the 2006 ACM symposium on Applied computing
ACM SIGSOFT Software Engineering Notes
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic graphical UML views from formal B specifications
Information and Software Technology
International Journal of Internet Technology and Secured Transactions
| Hi-index | 0.00 |
B is a formal method (and a specification language) which enables the automatic generation of an executable code through a succession of refinements stemming from an abstract specification. The industrial tools provide support for all the development process (type-checking facilities, automatic and interactive proof support, ...). A B specification requires a certain knowledge of mathematical notations (Classical logic and sets) as well as specific terminology (generalized substitutions, B keywords) which may in all likelihood leave a non-specialist of the B notation in the dark. To address this problem, we will extract graphic elements from B specification in an effort to render it more understandable to the novice. These visual elements are illustrated in a UML statechart diagrams.