{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:20Z","timestamp":1742593220582,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:18:12Z","timestamp":1330208292000},"page":"120-136","source":"Crossref","is-referenced-by-count":3,"title":["Construction and reuse of formal program developments"],"prefix":"10.1007","author":[{"given":"J.","family":"Cazin","sequence":"first","affiliation":[]},{"given":"P.","family":"Cros","sequence":"additional","affiliation":[]},{"given":"R.","family":"Jacquart","sequence":"additional","affiliation":[]},{"given":"M.","family":"Lemoine","sequence":"additional","affiliation":[]},{"given":"P.","family":"Michel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. JACM, 24(1):44\u201367, 1977.","journal-title":"JACM"},{"key":"10_CR2","unstructured":"J. Cazin, R. Jacquart, M. Lemoine, P. Maurice, and P. Michel. Method driven programming. In IFIP 89, 89."},{"key":"10_CR3","unstructured":"J. Cazin, R. Jacquart, M. Lemoine, and P. Michel. Manipulation of formal developments expressed in deva. In K.H. Bennett, editor, Software Engineering Environments. Ellis Horwood, 89."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"T. Coquand and G. Huet. Constructions: a higher order proof system for mechanizing mathematics. In EUROCAL 85, 1985.","DOI":"10.1007\/3-540-15983-5_13"},{"key":"10_CR5","unstructured":"Ch. Lafontaine. Formalization of the VDM reification in the DEVA meta-calculus. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"P. Martin-Lof. Constructive mathematics and computer programming. In Hoare and Shepherdson, editors, Mathematical Logic and Programming Languages, pages 167\u2013184. Prentice Hall, 85.","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"R.P. Nederpelt. An Approach to Theorem Proving on the Basis of a Typed Lambda Calculus. Springer Verlag, LNCS 87, 1980.","DOI":"10.1007\/3-540-10009-1_15"},{"key":"10_CR8","unstructured":"M. Sintzoff, M. Weber, Ph. de Groote, and J. Cazin. Definition 1.1 of the generic development language deva. Technical report, Esprit, 89."},{"key":"10_CR9","unstructured":"M. Weber. Formalization of the Bird-Meertens algorithmic calculus in the DEVA meta-calculus. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J.C.P. Woodcock. Formal techniques and operational specifications. Software Engineering Notes, 14(5), 89.","DOI":"10.1145\/71633.71634"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:11:43Z","timestamp":1742591503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3540539816_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}