{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:46Z","timestamp":1725551746787},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_4","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T10:01:26Z","timestamp":1130148086000},"page":"37-51","source":"Crossref","is-referenced-by-count":9,"title":["Derivation of UML Class Diagrams as Static Views of Formal B Developments"],"prefix":"10.1007","author":[{"given":"Akram","family":"Idani","sequence":"first","affiliation":[]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Bert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 - Formal Methods","author":"P. Behm","year":"1999","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: METEOR: A successful application of B in a large project. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 369\u2013387. Springer, Heidelberg (1999)"},{"key":"4_CR3","volume-title":"Formal concept analysis","author":"G. Bernhard","year":"1999","unstructured":"Bernhard, G., Rudolf, W.: Formal concept analysis. Springer, Heidelberg (1999)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"D. Bert","year":"2005","unstructured":"Bert, D., Potet, M.-L., Stouls, N.: GeneSyst: a tool to reason about behavioral aspects of B event specifications. Application to security properties. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455. Springer, Heidelberg (2005)"},{"key":"4_CR5","volume-title":"The Unified Modeling Language user guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language user guide. Addison Wesley Longman Publishing Co., Inc., Amsterdam (1999)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-45614-7_17","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"L. Casset","year":"2002","unstructured":"Casset, L.: Development of an embedded verifier for java card byte code using formal methods. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, p. 290. Springer, Heidelberg (2002)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-45140-4_28","volume-title":"Advanced Information Systems Engineering","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An Overview of RoZ: a Tool for Integrating UML and Z Specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, p. 417. Springer, Heidelberg (2000)"},{"key":"4_CR8","unstructured":"Fekih, H., Jemni, L., Merz, S.: Transformation des sp\u00e9cifications B en des diagrammes UML. In: AFADL: Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (2004)"},{"key":"4_CR9","series-title":"ENTCS","first-page":"159","volume-title":"Proc. of 9th Int. Workshop on Formal Methods for Industrial Critical Systems","author":"A. Idani","year":"2005","unstructured":"Idani, A., Ledru, Y.: Object Oriented Concepts Identification from Formal B Specifications. In: Proc. of 9th Int. Workshop on Formal Methods for Industrial Critical Systems. ENTCS, vol.\u00a0133, pp. 159\u2013174. Elsevier, Amsterdam (2005)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Formalizing the UML class diagram using object-z. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 83\u201398. Springer, Heidelberg (1999)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/3-540-45648-1_27","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R. Laleau","year":"2002","unstructured":"Laleau, R., Polack, F.: Coming and going from UML to B: A proposal to support traceability in rigorous IS development. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 517\u2013534. Springer, Heidelberg (2002)"},{"key":"4_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal object-oriented development","author":"K. Lano","year":"1995","unstructured":"Lano, K.: Formal object-oriented development. Springer, Heidelberg (1995)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-47884-1_7","volume-title":"Integrated Formal Methods","author":"H. Ledang","year":"2002","unstructured":"Ledang, H., Souqui\u00e8res, J.: Contributions for modelling UML state-charts in B. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, p. 109. Springer, Heidelberg (2002)"},{"key":"4_CR14","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":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-44880-2_7","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"G. Pouzancre","year":"2003","unstructured":"Pouzancre, G.: How to Diagnose a Modern Car with a Formal B Model? In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 98\u2013100. Springer, Heidelberg (2003)"},{"key":"4_CR16","unstructured":"Satpathy, M., Harrison, R., Snook, C., Butler, M.: A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. In: FSCBS 2001: IEEE\/ IFIP Wkshp on Formal Specification of Computer-Based Systems (2001)"},{"key":"4_CR17","unstructured":"Tatibouet, B., Hammad, A., Voisinet, J.C.: From an abstract B specification to UML class diagrams. In: 2nd IEEE Int. Symposium on Signal Processing and Information Technology (ISSPIT 2002), Morocco (December 2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:44:22Z","timestamp":1619491462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11576280_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}