{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:45Z","timestamp":1725484125965},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_32","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"568-586","source":"Crossref","is-referenced-by-count":9,"title":["Supplementing a UML Development Process with B"],"prefix":"10.1007","author":[{"given":"Helen","family":"Treharne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"32_CR1","unstructured":"Ambler S. The Object Primer 2nd Edition, New York CUP 2001."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Abrial J. R.: The B Book: Assigning Programs to Meaning, CUP, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"32_CR3","unstructured":"Cooper J. W.: Java Design Patterns: A tutorial, Addison-Wesley, 2000."},{"key":"32_CR4","unstructured":"Facon P., Laleau R. and Nguyen H. P.: Derivation de specification formelles B partir de specification semi-formelles de systems d\u2019information. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Laleau R., Polack F.: Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language. Information and Software Technology, 43(12), pp 693\u2013704, November 2001.","DOI":"10.1016\/S0950-5849(01)00178-1"},{"key":"32_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/3-540-45648-1_27","volume-title":"ZB2002","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. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 517\u2013534, Springer-Verlag, 2002."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Lano K. C.: Specification in B: An Introduction Using the B Toolkit, IC Press, 1996.","DOI":"10.1142\/p006"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Lano K., Bicarregui J. and Evans A.: Structured Axiomatic Semantics for UML Models, ROOM 2000 Workshop, Springer-Verlag, EWICS, 2000.","DOI":"10.14236\/ewic\/ROOM2000.5"},{"key":"32_CR9","unstructured":"Lano K.: Limitations of B Structuring, unpublished, November, 2001."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Liu J., Dong J. S, Mahony B. and Shi. K: Linking UML with Integrated Formal Techniques, chapter in book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K. Siau and T. Halpin), 2001.","DOI":"10.4018\/978-1-930708-05-1.ch013"},{"key":"32_CR11","volume-title":"The B-Technologies: a system for computer aided programming","author":"D. Neilson","year":"1999","unstructured":"Neilson D., Sorensen I. H.: The B-Technologies: a system for computer aided programming, B-Core (UK) Limited, Kings Piece, Harwell, Oxon, OX11 0PA, 1999, http:\/\/www.b-core.com"},{"key":"32_CR12","unstructured":"Rosenburg D., Scott K.: Use Case Driven Object Modelling with UML: A Practical Approach, Addison-Wesley, 1999."},{"key":"32_CR13","unstructured":"Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999."},{"key":"32_CR14","unstructured":"Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language User Guide, Addison-Wesley, 1999."},{"key":"32_CR15","unstructured":"Satpathy M., Snook C., Harrison R., Butler M., Krause P.: A Comparative Study of Formal and Informal Specification through an Industrial Case Study. In Dumke, Abran (eds.) Proc IEEE\/IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS\u201901), 2001."},{"key":"32_CR16","unstructured":"Schneider S.: The B-Method: An Introduction, Palgrave, 2001."},{"key":"32_CR17","unstructured":"Schneider S., Treharne H.: Object-Oriented Modelling Lecture Notes, Computer Science Department, Royal Holloway, University of London, 2001, http:\/\/www.cs.rhul.ac.uk\/ug\/second_year\/CS225\/info.html ."},{"key":"32_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-45648-1_22","volume-title":"ZB2002","author":"S. Schneider","year":"2002","unstructured":"Schneider S., Treharne H.: Combining B Machines, In Bert D., Bowen J. P., Henson M. C. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 416\u2013435, Springer-Verlag, 2002."},{"key":"32_CR19","unstructured":"Shore R.: An object-oriented approach to B. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996."},{"key":"32_CR20","unstructured":"Snook C., Butler M. J.: Tool-Supported Use of UML for Constructing B Specifications, http:\/\/www.ecs.soton.ac.uk\/~mjb\/ ."},{"key":"32_CR21","unstructured":"Tatibouet B., Voisinet J. C.: jbTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification, http:\/\/lifc.univ-fcomte.fr\/~tatibouet\/JBTOOLS\/index.html ."},{"key":"32_CR22","volume-title":"IFM\u201999","author":"H. Treharne","year":"1999","unstructured":"Treharne H., Schneider S.: Using a Process Algebra to control B OPERATIONS. In K. Araki, A. Galloway and K. Taguchi (eds.), IFM\u201999, York, Springer, 1999."}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:12:04Z","timestamp":1587514324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}