In combining BDD with B-Method through BHive, a bridge between the worlds of agile and formal is created, reaping benefits of both approaches. We also outline exten- sions to BDD tooling required for the described integration and present benefits of the BHive approach to integrating formalism ...
Information Reuse and IntegrationJ. Carter and W. B. Gardner. 2016. BHive: Towards Behaviour-Driven Develop- ment Supported by B-Method. In 2016 IEEE 17th International Conference on Infor- mation Reuse and Integration (IRI). 249-256. https://doi.org/10.1109/IRI.2016.39...