Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Using b as a high level programming language in an industrial project: roissy VAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
The use of rippling to automate event-b invariant preservation proofs
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
An approach using the b method to formal verification of PLC programs in an industrial setting
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Aligning SysML with the B method to provide V&V for systems engineering
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |
Two real projects using the B formal method are quickly presented. They show how some important parts of complex systems can be developed in such a way that the outcome is "correct by construction". A number of factors are then analyzed relating the pros, the cons, and the difficulties in applying this approach in Industry.