BE4: the b extensible eclipse editing environment

Authors:
Jens Bendisposto;Michael Leuschel
Affiliations:
Heinrich-Heine Universität Düsseldorf;Heinrich-Heine Universität Düsseldorf
Venue:
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Year:
2007

Citing 2
Cited 1

Composition and Refinement in the B-Method

B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Automated Boundary Testing from Z and B

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Declarative programming for verification: lessons and outlook

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The open-source Eclipse platform has become hugely popular as an integrated development environment for Java, and a considerable number of plug-ins have been developed for other programming languages (e.g., C++,PHP, Eiffel, Python, Fortran, etc.). In this paper we present a new plug-in for Eclipse, supporting the B-method and B's abstract machine notation (AMN) [1]. In addition to providing editing and syntax highlighting, the plug-in displays syntax and structural errors in the B source code, as well as suggesting fixes for those errors.