{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:07Z","timestamp":1725483727444},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679448"},{"type":"electronic","value":"9783540445258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44525-0_9","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:00:58Z","timestamp":1178013658000},"page":"127-147","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Construction of Validated B Components from Structured Developments"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bontron","sequence":"first","affiliation":[]},{"given":"Marie-Laure","family":"Potet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507\u2013534, may 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"J.R. Abrial. The B-Book. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"9_CR3","unstructured":"D.J. Andrews, H. Bruun, B.S. Hansen, P.G. Larsen, N. Plat, and all. Information Technology-Programming Languages, their environments and system software interfaces-Vienna Development Method-Specification Language Part 1: Base language. ISO, 1995."},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","first-page":"348","volume-title":"FM\u201999-Formal Methods","author":"P. Behm","year":"1999","unstructured":"P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. M\u00e9t\u00e9or: A Successful Application of B in a Large Project. LNCS, FM\u201999-Formal Methods, 1:348\u2013387, september 1999."},{"key":"9_CR5","unstructured":"Grady Booch. Object-Oriented Analysis and Design. Addison-Wesley, 1994."},{"issue":"9","key":"9_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstrom","year":"1994","unstructured":"R. Elmstrom, P. G. Larsen, and P. B. Lassen. The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices, 29(9):77\u201380, 1994.","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR7","unstructured":"RAISE Language Group. The RAISE Specification Language. Prentice Hall-BCS Practioner series, 1992."},{"key":"9_CR8","series-title":"IFAD-VDM-4","volume-title":"Users Manual for the IFAD VDM-SL Toolbox","author":"The VDM-SL Tool Group.","year":"1994","unstructured":"The VDM-SL Tool Group. Users Manual for the IFAD VDM-SL Toolbox. IFAD, Forskerparken 10, 5230 Odense M, Denmark, February 1994. IFAD-VDM-4."},{"key":"9_CR9","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1990","unstructured":"C. B. Jones. Systematic Software Development Using VDM (Second Edition). Prentice-Hall, London, 1990.","edition":"Second Edition"},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Second International B Conference","author":"L. Mussat","year":"1998","unstructured":"L. Mussat and J.R. Abrial. Introducing Dynamic Constraints in B. In D. Bert, editor, Proceedings of the Second International B Conference, volume 1393 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Second International B Conference","author":"M.-L. Potet","year":"1998","unstructured":"M.-L. Potet and Y. Rouzaud. Composition and Refinement in the B-method. In D. Bert, editor, Proceedings of the Second International B Conference, volume 1393 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"9_CR12","unstructured":"C.A. Middelburg. Logic and Specification: Extending VDM-SL for advanced formal specification. Chapman and Hall, 1993."},{"issue":"12","key":"9_CR13","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"D. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053\u20131058, december 1972.","journal-title":"Communications of the ACM"},{"key":"9_CR14","unstructured":"J.M. Spivey. The Z notation-A Reference Manual (Second Edition). Prentice Hall, 1992."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"M. Srinivas and L.M. Patnaik. Genetic algorithms: a survey. IEEE Computer, pages 17\u201326, june 1994.","DOI":"10.1109\/2.294849"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Y.V. Srinivas and R. J\u00fcllig. Specware(TM): Formal support for composing software. Technical Report KES.U.94.5, Kestrel Institute, december 1994.","DOI":"10.1007\/3-540-60117-1_22"},{"key":"9_CR17","unstructured":"Y.V. Srinivas and R. J\u00fcllig. Specware Language Manual. Kestrel Institute, November 1995."},{"key":"9_CR18","unstructured":"Y. Ledru, C. Oriat, and M-L. Potet. Le raffinement vu comme primitive de sp\u00e9cification-une comparaison de VDM, B et Specware. Technical report, AFADL Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, LISI\/ENSMA, 86960 FUTUROSCOPE, 1998."}],"container-title":["Lecture Notes in Computer Science","ZB 2000: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44525-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:24:31Z","timestamp":1683825871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44525-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679448","9783540445258"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44525-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}