{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:08Z","timestamp":1725560588836},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_11","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:18:31Z","timestamp":1280276311000},"page":"187-206","source":"Crossref","is-referenced-by-count":41,"title":["UML to B: Formal Verification of Object-Oriented Models"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"D.","family":"Clark","sequence":"additional","affiliation":[]},{"given":"K.","family":"Androutsopoulos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"The B Method","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B Method. Cambridge University Press, Cambridge (1996)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Giese, M., Habermalz, E., Hahnle, R., Menzel, W., Schmitt, P.H.: The KeY approach: Integrating object oriented design and formal verification. Technical Report 2000\/4, University of Karlsruhe, Department of Computer Science (January 2000)","DOI":"10.1007\/3-540-40006-0_3"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bharadwaj, R., Heitmeyer, C.: Model checking complete requirements specifications using abstraction. In: Proceedings of Automated Software Engineering, vol.\u00a06, pp. 37\u201368 (1999)","DOI":"10.1023\/A:1008697817793"},{"key":"11_CR4","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, J.: Symbolic Model Checking: 1020 States and Beyond. In: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (1990)"},{"key":"11_CR5","unstructured":"CS-RR Inc., CS-RR Software User Requirements Document (1994)"},{"key":"11_CR6","unstructured":"Jackson, D.: Micromodels of Software: Lightweight Modelling and Analysis with Alloy. Software Design Group, MIT Lab for Computer Science (2002)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44525-0_2","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"S. Kim","year":"2000","unstructured":"Kim, S., Carrington, D.: A Formal Mapping Between UML Models and Object-Z Specifications. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, p. 2. Springer, Heidelberg (2000)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Objectoriented Models. Safecomp 2002 (2002)","DOI":"10.1007\/3-540-45732-1_10"},{"key":"11_CR9","volume-title":"Specification in B","author":"K. Lano","year":"1996","unstructured":"Lano, K., Haughton, H.: Specification in B. Imperial College Press, London (1996)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Lano, K., Fiadeiro, J., Andrade, L.: Software Design in Java 2. Palgrave (2002)","DOI":"10.1007\/978-1-4039-1466-8"},{"key":"11_CR11","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Formal Specification and Verification of Railway Systems using UML. FORMS 2003 (2003)"},{"key":"11_CR12","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Synthesis of Code from UML Specifications, DCS, King\u2019s College (2003)"},{"key":"11_CR13","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Extended Axiomatic Semantics of UML Class Diagrams and Statecharts, DCS, King\u2019s College (2003)"},{"key":"11_CR14","unstructured":"OMG, UML Version 1.5 Specification (2003), http:\/\/www.omg.org\/uml\/"},{"key":"11_CR15","unstructured":"OMG, Response to UML 2.0 OCL RfP, OMG Document ad\/2003-01-07 (2003)"},{"key":"11_CR16","unstructured":"OMG, Model-Driven Architecture (2003), http:\/\/www.omg.org\/mda\/"},{"key":"11_CR17","unstructured":"Richters, M.: A UML-based Specification Environment (2001), http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE"},{"key":"11_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer, Dordrecht (2000)"},{"key":"11_CR19","unstructured":"Snook, C., Wheeler, P., Butler, M.: Preliminary Tool Extensions for Integration of UML and B. IST-2000-30103 deliverable D4.1.2 (2003)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Treharne, H.: Supplementing a UML Development Process with B. In: FME 2002 (2002)","DOI":"10.1007\/3-540-45614-7_32"},{"key":"11_CR21","volume-title":"The Object Constraint Language: Precise Modelling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modelling with UML. Addison-Wesley, Reading (1999)"},{"key":"11_CR22","unstructured":"Zeppo, P.: From UML to B Specifications, MSc thesis, Dept. of Computer Science, King\u2019s College London (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:33:37Z","timestamp":1559331217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}