Specification Clones: An Empirical Study of the Structure of Event-B Specifications-Reference-Cited by-同舟云学术

Specification Clones: An Empirical Study of the Structure of Event-B Specifications

Published:2017 Issue: Volume: Page:152-167
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Farrell Marie,Monahan Rosemary,Power James F.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66197-1_10

Reference18 articles.

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

2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6), 447–466 (2010)

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

4. Baxter, I.D., Yahin, A., Moura, L., Sant’Anna, M., Bier, L.: Clone detection using abstract syntax trees. In: International Conference on Software Maintenance, Maryland, USA, pp. 368–377 (1998)

5. Lecture Notes in Computer Science;M Butler,2013

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

1. Building Specifications in the Event-B Institution: A Summary;Rigorous State-Based Methods;2023

2. Building Specifications in the Event-B Institution;Logical Methods in Computer Science;2022-11-09

3. Towards Compositional Verification for Modular Robotic Systems;Electronic Proceedings in Theoretical Computer Science;2020-12-03

4. Feature-oriented contract composition;Journal of Systems and Software;2019-06