An Event-B Development Process for the Distributed BIP Framework-Reference-Cited by-同舟云学术

An Event-B Development Process for the Distributed BIP Framework

Published:2016 Issue: Volume: Page:313-328
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Siala Badr,Bhiri Mohamed Tahar,Bodeveix Jean-Paul,Filali Mamoun

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47846-3_20

Reference20 articles.

1. Java 10, today! http://www.eclipse.org/xtend/ . Accessed 16 Jan 2006

2. Language engineering for everyone! https://eclipse.org/Xtext . Accessed 16 Jan 2006

3. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)

4. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inf. 77(1–2), 1–28 (2007)

5. Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A correct-by-construction approach for development of reliable planning problems;Journal of Logic and Computation;2024-04-02

2. Formal Event-B Modeling of the MICONIC Application;Frontiers in Artificial Intelligence and Applications;2021-09-08

3. Proving the Safety of a Sliding Window Protocol with Event-B;Rigorous State-Based Methods;2021

4. Automatic Refinement for Event-B through Annotated Patterns;2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP);2017