{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:09Z","timestamp":1725664869766},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:31Z","timestamp":1330280971000},"page":"495-514","source":"Crossref","is-referenced-by-count":4,"title":["Reuse of verified design templates through extended pattern matching"],"prefix":"10.1007","author":[{"given":"David","family":"Hemer","sequence":"first","affiliation":[]},{"given":"Peter A.","family":"Lindsay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"26_CR1","volume-title":"Technical report","author":"B. Fischer","year":"1994","unstructured":"B. Fischer, F. Kievernagel, and W. Struckman. VCR: A VDM-based software component retrieval tool. Technical report,Technical University of Braunschwieg, Germany, November 1994."},{"unstructured":"K. Harwood. Towards tools for formal correctness. In The Fifth Australian Software Engineering Conference, pages 153\u2013158. IREE Australia, May 1990.","key":"26_CR2"},{"unstructured":"D. Hemer and P.A. Lindsay. Formal specification of proof obligation generation in CARE. Technical Report 95-13, Software Verification Research Centre, The University of Queensland, 1995.","key":"26_CR3"},{"doi-asserted-by":"crossref","unstructured":"D. Hemer and P.A. Lindsay. The CARE toolset for developing verified programs from formal specifications. In O. Frieder and J. Wigglesworth, editors, Proceeding of the Fourth International Symposium on Assessment of Software Tools, pages 24\u201335. IEEE Computer Society Press, May 1996.","key":"26_CR4","DOI":"10.1109\/AST.1996.506475"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G.P. Huet","year":"1975","unstructured":"G.P. Huet. A unification algorithm for typed A-calculus. Theoretical Computer Science, 1:27\u201357, 1975.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"C. B. Jones, K. D. Jones, P. A. Lindsay, and R. Moore. mural: A Formal Development Support System. Springer-Verlag, 1991.","key":"26_CR6","DOI":"10.1007\/978-1-4471-3180-9"},{"doi-asserted-by":"crossref","unstructured":"K. Lano. The B Language and Method: A Guide to Practical Formal Development. FACIT Series. Springer-Verlag, 1996.","key":"26_CR7","DOI":"10.1007\/978-1-4471-1494-9"},{"unstructured":"P.A. Lindsay. The data logger case study in CARE. In Proc 5th Australasian Refinement Workshop (ARW'96), 1996. http:\/\/www.it.uq.edu.au\/conferences\/arw96\/.","key":"26_CR8"},{"doi-asserted-by":"crossref","unstructured":"P.A. Lindsay and D. Hemer. An industrial-strength method for the construction of formally verified software. In Proceedings of the 1996 Australian Software Engineering Conference, pages 27\u201336. IEEE Computer Society Press, July 1996.","key":"26_CR9","DOI":"10.1109\/ASWEC.1996.534120"},{"doi-asserted-by":"crossref","unstructured":"D.E. Perry and S.S. Popovich. Inquire: Predicate-based use and reuse. In Proceedings of the 8th Knowledge-Based Software Engineering Conference, pages 144\u2013151, September 1993.","key":"26_CR10","DOI":"10.1109\/KBSE.1993.341192"},{"doi-asserted-by":"crossref","unstructured":"M. Rittri. Using types as search keys in function libraries. In 0Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, pages 174\u2013183. ACM Press, 1989.","key":"26_CR11","DOI":"10.1145\/99370.99384"},{"unstructured":"E.J. Rollins and J.M. Wing. Specifications as search keys for software libraries. In Eighth International Conference on Logic Programming, pages 173\u2013187. 1991.","key":"26_CR12"},{"doi-asserted-by":"crossref","unstructured":"C. Runciman and I. Toyn. Retrieving re-usable software components by polymorphic type. In Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, pages 166\u2013173. ACM Press, 1989.","key":"26_CR13","DOI":"10.1145\/99370.99383"},{"doi-asserted-by":"crossref","unstructured":"M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In Proceedings 12th International Conference on Automated Deduction, pages 341\u2013355, June 1994.","key":"26_CR14","DOI":"10.1007\/3-540-58156-1_24"},{"doi-asserted-by":"crossref","unstructured":"A. Moormann Zaremski and J.M. Wing. Specification matching of software components. In Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1996.","key":"26_CR15","DOI":"10.21236\/ADA294846"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:50Z","timestamp":1605629930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}