{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:23:24Z","timestamp":1725531804180},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018619"},{"type":"electronic","value":"9783642018626"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01862-6_20","type":"book-chapter","created":{"date-parts":[[2009,4,29]],"date-time":"2009-04-29T08:42:09Z","timestamp":1240994529000},"page":"237-250","source":"Crossref","is-referenced-by-count":3,"title":["UML Models Engineering from Static and Dynamic Aspects of Formal Specifications"],"prefix":"10.1007","author":[{"given":"Akram","family":"Idani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Abrial, J.-R.: System study: Method and example (1999), www-lsr.imag.fr\/B\/Documents\/ClearSy-CaseStudies\/"},{"issue":"3","key":"20_CR2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.infsof.2005.03.008","volume":"48","author":"A. Idani","year":"2006","unstructured":"Idani, A., Ledru, Y.: Dynamic Graphical UML Views from Formal B Specifications. Journal of Information and Software Technology\u00a048(3), 154\u2013169 (2006)","journal-title":"Journal of Information and Software Technology"},{"issue":"3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10703-006-0030-1","volume":"30","author":"A. Idani","year":"2007","unstructured":"Idani, A., Ledru, Y.: Object Oriented Concepts Identification from Formal B Specifications. Journal of Formal Methods in System Design\u00a030(3), 217\u2013232 (2007)","journal-title":"Journal of Formal Methods in System Design"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11576280_4","volume-title":"Formal Methods and Software Engineering","author":"A. Idani","year":"2005","unstructured":"Idani, A., Ledru, Y., Bert, D.: Derivation of UML Class Diagrams as Static Views of Formal B Developments. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"20_CR5","first-page":"269","volume-title":"15th IEEE Int. Conference on Automated Software Engineering","author":"R. Laleau","year":"2000","unstructured":"Laleau, R., Mammar, A.: An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. In: 15th IEEE Int. Conference on Automated Software Engineering, pp. 269\u2013272. IEEE CS Press, Los Alamitos (2000)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/BFb0053361","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"E. Sekerinski","year":"1998","unstructured":"Sekerinski, E.: Graphical Design of Reactive Systems. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 182\u2013197. Springer, Heidelberg (1998)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Snook, C., Butler, M.: U2B \u2212 A tool for translating UML-B models into B. In: Mermet (ed.) UML-B Specification for Proven Embedded Systems Design (2004)","DOI":"10.1007\/978-1-4020-2867-0_6"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01862-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:10:14Z","timestamp":1558278614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01862-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018619","9783642018626"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01862-6_20","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}