{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:12:36Z","timestamp":1750824756146,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_10","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T01:02:30Z","timestamp":1502499750000},"page":"152-167","source":"Crossref","is-referenced-by-count":2,"title":["Specification Clones: An Empirical Study of the Structure of Event-B Specifications"],"prefix":"10.1007","author":[{"given":"Marie","family":"Farrell","sequence":"first","affiliation":[]},{"given":"Rosemary","family":"Monahan","sequence":"additional","affiliation":[]},{"given":"James F.","family":"Power","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)"},{"issue":"6","key":"10_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"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\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1\u20132","key":"10_CR3","first-page":"1","volume":"77","author":"J-R Abrial","year":"2007","unstructured":"Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundamenta Informaticae 77(1\u20132), 1\u201328 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Baxter, I.D., Yahin, A., Moura, L., Sant\u2019Anna, M., Bier, L.: Clone detection using abstract syntax trees. In: International Conference on Software Maintenance, Maryland, USA, pp. 368\u2013377 (1998)","DOI":"10.1109\/ICSM.1998.738528"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"M Butler","year":"2013","unstructured":"Butler, M., Maamria, I.: Practical theory extension in Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 67\u201381. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39698-4_5"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Farrell, M., Monahan, R., Power, J.F.: Providing a semantics and modularisation constructs for Event-B using institutions. In: International Workshop on Algebraic Development Techniques, Gregynog, Wales (2016)","DOI":"10.1007\/978-3-319-72044-9_8"},{"key":"10_CR7","unstructured":"F\u00fcrst, A.: Design patterns in Event-B and their tool support. Master\u2019s thesis, Department of Computer Science, ETH Z\u00fcrich, March 2009"},{"key":"10_CR8","unstructured":"Gondal, A., Poppleton, M., Snook, C.: Feature composition-towards product lines of Event-B models. In: International Workshop on Model-Driven Product Line Engineering, Twente, The Netherlands, pp. 18\u201325 (2009)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-11811-1_14","volume-title":"Abstract State Machines, Alloy, B and Z","author":"A Iliasov","year":"2010","unstructured":"Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.: Supporting reuse in Event B development: modularisation approach. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 174\u2013188. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11811-1_14"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/s10664-016-9437-5","volume":"22","author":"B Kitchenham","year":"2017","unstructured":"Kitchenham, B., Madeyski, L., Budgen, D., Keung, J., Brereton, P., Charters, S., Gibbs, S., Pohthong, A.: Robust statistical methods for empirical software engineering. Empir. Softw. Eng. 22(2), 579\u2013630 (2017)","journal-title":"Empir. Softw. Eng."},{"key":"10_CR11","volume-title":"On the Refinement Calculus","author":"C Morgan","year":"1988","unstructured":"Morgan, C., Robinson, K., Gardiner, P.: On the Refinement Calculus. Springer, London (1988)"},{"key":"10_CR12","unstructured":"Olszewska, M., Sere, K.: Specification metrics for Event-B developments. In: International Conference on Quality Engineering in Software Technology, Dresden, Germany (2010)"},{"key":"10_CR13","unstructured":"Pitu, M., Grijincu, D., Li, P., Saleem, A., Monahan, R., O\u2019Donoghue, D.P.: Ar\u00eds: analogical reasoning for reuse of implementation & specification. In: International Workshop on Artificial Intelligence for Formal Methods, Rennes, France, pp. 13\u201316 (2013)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-87603-8_17","volume-title":"Abstract State Machines, B and Z","author":"M Poppleton","year":"2008","unstructured":"Poppleton, M.: The composition of Event-B models. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 209\u2013222. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-87603-8_17"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Roy, C.K., Zibran, M.F., Koschke, R.: The vision of software clone management: past, present, and future. In: Software Maintenance, Reengineering and Reverse Engineering, Antwerp, Belgium, pp. 18\u201333 (2014)","DOI":"10.1109\/CSMR-WCRE.2014.6747168"},{"key":"10_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sanella","year":"2012","unstructured":"Sanella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-17336-3"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-642-10373-5_24","volume-title":"Formal Methods and Software Engineering","author":"R Silva","year":"2009","unstructured":"Silva, R., Butler, M.: Supporting reuse of Event-B developments through generic instantiation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 466\u2013484. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-10373-5_24"},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1002\/spe.1002","volume":"41","author":"R Silva","year":"2011","unstructured":"Silva, R., Pascal, C., Hoang, T.S., Butler, M.: Decomposition tool for event-B. Softw. Practice Exp. 41(2), 199\u2013208 (2011)","journal-title":"Softw. Practice Exp."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:21:01Z","timestamp":1750803661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}