{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:19Z","timestamp":1725487999885},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425588"},{"type":"electronic","value":"9783540448068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44806-3_9","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:21:36Z","timestamp":1184955696000},"page":"146-161","source":"Crossref","is-referenced-by-count":2,"title":["A Design Methodology for Functional Programs"],"prefix":"10.1007","author":[{"given":"David","family":"Wakeling","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"issue":"2","key":"9_CR1","first-page":"159-89","volume":"6","author":"R. S. Bird","year":"1986","unstructured":"R. S. Bird. Transformational programming and the paragraph problem. Science of Computer Programming, 6(2):159-89, March 1986.","journal-title":"Science of Computer Programming"},{"key":"9_CR2","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, July 1998. ISBN 0201571684."},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"267-78","DOI":"10.1016\/0164-1212(93)90028-V","volume":"21","author":"P. Borba","year":"1993","unstructured":"P. Borba and S. Meira. From VDM specifications to functional prototypes. Journal of Systems and Software, 21(3):267-78, June 1993.","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"9_CR4","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. Journal of the Association of Computing Machinery, 24(1):44\u201367, 1977.","journal-title":"Journal of the Association of Computing Machinery"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In Proceedings of the International Conference on Functional Programming, pages 268\u2013279. ACM Press, September 2000. ISBN 1581132026.","DOI":"10.1145\/351240.351266"},{"key":"9_CR6","unstructured":"A. Diller. Z: An Introduction to Formal Methods (Second Edition). John Wiley, 1994. ISBN 0471939730."},{"key":"9_CR7","unstructured":"D. F. D\u2019souza and A. C. Wills. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison Wesley, October 1998. ISBN 0201310120."},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-46852-8_11","volume-title":"Proceedings of the Second International Conference on The Unified Modeling Language","author":"A. Evans","year":"1999","unstructured":"A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In Proceedings of the Second International Conference on The Unified Modeling Language, pages 140\u2013155. Springer Verlag, October 1999. LNCS 1723."},{"key":"9_CR9","unstructured":"M. Fowler and K. Scott. UML Distilled (Second Edition). AddisonWesley, October 1999. ISBN 020165783X."},{"key":"9_CR10","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, December 1994. ISBN 0201633612."},{"key":"9_CR11","unstructured":"B. Henderson-Sellers and B. Unhelkar. OPEN Modeling with UML. Addison Wesley, June 2000. ISBN 0201675129."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"M. Johnson and P. Sanders. From Z specifications to functional implementations. In J. E. Nicholls, editor, Proceedings of the 4th Annual Z User Meeting, pages 86\u2013112. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4471-3877-8_6"},{"key":"9_CR13","unstructured":"P. Krutchen. The Rational Unified Process: An Introduction (Second Edition). Addison Wesley, April 2000. ISBN 0201707101."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Karl J. Lieberherr and Ian Holland. Assuring good style for object-oriented programs. IEEE Software, pages 38\u201348, September 1989.","DOI":"10.1109\/52.35588"},{"key":"9_CR15","unstructured":"Object Management Group. OMG Unified Modeling Language Specification (Version 1.3), October 2000. See http:\/\/www.omg.org ."},{"issue":"6","key":"9_CR16","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1093\/comjnl\/35.6.623","volume":"35","author":"G. O\u2019Neill","year":"1992","unstructured":"G. O\u2018Neill.VDM-automatic translation of VDM specifications into Standard ML programs (short note). Computer Journal, 35(6):623\u2013624, 1992.","journal-title":"Computer Journal"},{"key":"9_CR17","unstructured":"S. Peyton Jones and J. Hughes. The Haskell 98 Language Report, February 1999."},{"key":"9_CR18","unstructured":"Rational. Rational Rose, April 2001. See http:\/\/www.rational.com ."},{"key":"9_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/3-540-49201-1_25","volume-title":"Proceedings of the Conference on the Practical Application of Declarative Languages","author":"D. A. Schmidt","year":"1999","unstructured":"D. A. Schmidt. A return to elegance: The reapplication of declarative notation to software design. In Proceedings of the Conference on the Practical Application of Declarative Languages, pages 360\u2013364. Springer Verlag, January 1999. LNCS 1551, ISBN 3540655271."},{"issue":"3","key":"9_CR20","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1093\/comjnl\/38.3.193","volume":"38","author":"L. B. Sherrell","year":"1995","unstructured":"L. B. Sherrell and D. L. Carver. FunZ: An intermediate specification language. Computer Journal, 38(3):193\u2013206, 1995.","journal-title":"Computer Journal"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"M. Shields and S. L.Peyton Jones. Object-oriented sytle overloading for Haskell, July 2001. Submitted to the Workshop on Multi-Language Infrastructure and Interoperability.","DOI":"10.1016\/S1571-0661(05)80455-4"},{"key":"9_CR22","unstructured":"D. A. Turner. Functional programs as executable specifications. In C. A. R. Hoare and J. Shepherdson, editors, Mathematical Logic and Programming Languages, pages 29\u201354. Prentice-Hall, 1985. ISBN 0135614651."}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44806-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T10:59:08Z","timestamp":1556708348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44806-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425588","9783540448068"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44806-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}