{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:17:09Z","timestamp":1725689829481},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_31","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:50:45Z","timestamp":1340787045000},"page":"357-360","source":"Crossref","is-referenced-by-count":0,"title":["A Practical Event-B Refinement Method Based on a UML-Driven Development Process"],"prefix":"10.1007","author":[{"given":"Thiago C.","family":"de Sousa","sequence":"first","affiliation":[]},{"given":"Paulo S\u00e9rgio","family":"Muniz Silva","sequence":"additional","affiliation":[]},{"given":"Colin F.","family":"Snook","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","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, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"key":"31_CR2","unstructured":"Rosenberg, D., Stephens, M.: Use Case Driven Object Modeling with UML: Theory and Practice. Apress (2007)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An Open Extensible Tool Environment for Event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol.\u00a015, 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/11804192_5","volume-title":"Formal Methods for Components and Objects","author":"R.K. Runde","year":"2006","unstructured":"Runde, R.K., Haugen, \u00d8., St\u00f8len, K.: The Pragmatics of STAIRS. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 88\u2013114. Springer, Heidelberg (2006)"},{"key":"31_CR6","first-page":"643","volume-title":"Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC 2008)","author":"A. Ben Younes","year":"2008","unstructured":"Ben Younes, A., Ben Ayed, L.J.: From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. In: Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC 2008), pp. 643\u2013648. IEEE Computer Society, Washington, DC (2008)"},{"key":"31_CR7","first-page":"277","volume-title":"Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems","author":"Z. Chen","year":"2007","unstructured":"Chen, Z., Liu, Z., Stolz, V., Yang, L., Ravn, A.P.: A refinement driven component-based design. In: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 277\u2013289. IEEE Computer Society, Washington, DC (2007)"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-72952-5_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Ahrendt","year":"2007","unstructured":"Ahrendt, W., Beckert, B., H\u00e4hnle, R., Schmitt, P.H.: KeY: A Formal Method for Object-Oriented Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 32\u201343. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T16:51:41Z","timestamp":1556902301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}