{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:05Z","timestamp":1748145785776,"version":"3.41.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1008651528183","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"7-31","source":"Crossref","is-referenced-by-count":0,"title":["Searching for a Global Search Algorithm"],"prefix":"10.1007","volume":"4","author":[{"given":"Sabine","family":"Dick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"125023_CR1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","volume":"14","author":"W. Bibel","year":"1980","unstructured":"Bibel, W. 1980. Syntax-directed, semantics-supported program synthesis. Artificial Intelligence, 14:243-261.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"125023_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B.W. Boehm","year":"1988","unstructured":"Boehm, B.W. 1988. A spiral model of software development and enhancement. IEEE Computer, 21(5):61-72.","journal-title":"IEEE Computer"},{"key":"125023_CR3","unstructured":"Constable, R. et al. 1986. Implementing Mathematics with the Nuprl Proof Development System, Prentice Hall."},{"key":"125023_CR4","doi-asserted-by":"crossref","unstructured":"Dershowitz, N. 1983. The Evolution of Programs, Birkh\u00e4user.","DOI":"10.1007\/978-1-4612-5621-2"},{"key":"125023_CR5","unstructured":"Dick, S. 1994. Eine Fallstudie zur Entwicklung korrekter Software: Steuerung einer Gep\u00e4ckf\u00f6rderanlage. Master's thesis, Dept. of Computer Science, Technical University of Berlin."},{"key":"125023_CR6","doi-asserted-by":"crossref","unstructured":"Gries, D. 1981. The Science of Programming, Springer-Verlag.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"125023_CR7","doi-asserted-by":"crossref","unstructured":"Heisel, M., Santen, T., and Zimmermann, D. 1995. Tool support for formal software development: A generic architecture. In Software Engineering\u2014ESEC'95, W. Sch\u00e4fer and P. Botella (Eds.), LNCS 989, Springer Verlag, pp. 272-293.","DOI":"10.1007\/3-540-60406-5_20"},{"key":"125023_CR8","doi-asserted-by":"crossref","unstructured":"Kolyang, Santen, T., and Wolff, B. 1996. Correct and user-friendly implementation of transformation systems. In FME'96\u2014Industrial Benefits and Advances in Formal Methods, LNCS, Springer Verlag.","DOI":"10.1007\/3-540-60973-3_111"},{"key":"125023_CR9","unstructured":"Kreitz, C. 1993. Meta-Synthesis. Deriving Programs that Develop Programs, Technische Hochschule Darmstadt."},{"volume-title":"Automating Software Design","year":"1991","key":"125023_CR10","unstructured":"Lowry, M. and McCartney, R.D. (Eds.) 1991. Automating Software Design, Menlo Park: AAAI Press."},{"key":"125023_CR11","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna, Z. and Waldinger, R. 1980. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2:90-121.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"125023_CR12","unstructured":"Morgan, C. 1990. Programming from Specifications, Prentice Hall."},{"key":"125023_CR13","doi-asserted-by":"crossref","unstructured":"Paulson, L.C. 1994. Isabelle\u2014A Generic Theorem Prover, LNCS 828, Springer Verlag.","DOI":"10.1007\/BFb0030541"},{"key":"125023_CR14","doi-asserted-by":"crossref","unstructured":"Smith, D.R. and Lowry, M.R. 1989. Algorithm theories and design tactics. In Proc. International Conference on Mathematics of Program Construction, J. van de Snepscheut (Ed.), Lecture Notes in Computer Science 375, Springer Verlag, 379-398.","DOI":"10.1007\/3-540-51305-1_23"},{"key":"125023_CR15","unstructured":"Smith, D.R. 1987. Structure and design of global search algorithms. Technical Report Kes.U.87.12, Kestrel Institute."},{"issue":"9","key":"125023_CR16","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"Smith, D.R. 1990. KIDS: A semiautomatic program development system. IEEE Transactions on Software Engineering, 16(9):1024-1043.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"125023_CR17","unstructured":"Smith, D.R. and Parra, E.A. 1993. Transformational approach to transportation scheduling. In Proceedings of the Eighth Knowledge-Based Software Engineering Conference, Chicago."},{"key":"125023_CR18","unstructured":"Smith, D.R., Parra, E.A., and Westfold, S.J. 1995. Synthesis of high-performance transportation schedulers. Technical Report KES.U.95.6, Kestrel Institute."},{"key":"125023_CR19","doi-asserted-by":"crossref","unstructured":"Srinivas, J.V. and J\u00fcllig, J. 1995. Specware: Formal support for composing software. In Proceedings of the Third Conference on Mathematics of Program Construction.","DOI":"10.1007\/3-540-60117-1_22"},{"key":"125023_CR20","unstructured":"Pressburger, T.T., Gilham, L., and Smith, D.R. 1991. Kestrel Interactive Development System, Version 1.0, Kestrel Institute."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008651528183.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008651528183\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008651528183.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:10:18Z","timestamp":1748070618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008651528183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["125023"],"URL":"https:\/\/doi.org\/10.1023\/a:1008651528183","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}