{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T05:15:26Z","timestamp":1648790126125},"reference-count":61,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1080\/095281396147348","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T16:22:42Z","timestamp":1027700562000},"page":"293-318","source":"Crossref","is-referenced-by-count":3,"title":["Using programming expertise for controlling software synthesis"],"prefix":"10.1080","volume":"8","author":[{"given":"Rattikorn","family":"Hewett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Foundations of Computer Science","author":"Aho A.","year":"1992"},{"key":"CIT0002","volume-title":"The Design and Analysis of Computer Algorithms","author":"Aho A.","year":"1974"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"CIT0004","volume-title":"Knowledge-based Program Construction","author":"Barstow D.","year":"1979"},{"key":"CIT0005","volume-title":"Computer Algorithms","author":"Basse S.","year":"1988","edition":"2"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235255"},{"key":"CIT0007","first-page":"165","volume-title":"Constructing Programs from Specification","author":"Blaine L.","year":"1991"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80118-X"},{"key":"CIT0009","volume-title":"Knowledge-based Design Systems","author":"Coyne R.","year":"1990"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4573(84)90041-4"},{"key":"CIT0011","first-page":"1268","volume":"31","author":"D\u00e9tienne F.","year":"1990","journal-title":"Communications of the Association for Computing Machinery"},{"key":"CIT0012","volume-title":"Blackboard Systems","author":"Engelmore R.","year":"1988"},{"key":"CIT0013","unstructured":"Feather, M. S. Specification evolution and program (re)transformation. Proceedings of the Fifth Conference on Knowledge-Based Software Assistant."},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231878"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/32.142870"},{"key":"CIT0016","volume-title":"The Engineering of Knowledge-Based Systems, Theory and Practice","author":"Gonzalez A.","year":"1993"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Graves, H., Louie, J. and Mullen, T. A code synthesis experiment. Proceedings of the Seventh Knowledge-Based Software Engineering Conference.","DOI":"10.1109\/KBSE.1992.252913"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Green, C. Application of theorem proving to problem solving. Proceedings of the First International Joint Conference on Artificial Intelligence. Washington, DC. pp.219\u2013239.","DOI":"10.21236\/ADA459656"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80120-8"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Harandi, M. T. and Bhansali, S. APU: an automatic programmer for UNIX. Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence (TAI 90). pp.410\u2013416.","DOI":"10.1109\/TAI.1990.130372"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90063-3"},{"key":"CIT0022","series-title":"Technical Report KSL-86-38","volume-title":"A modular and layered environment for reasoning about action","author":"Hayes-Roth B.","year":"1986"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/0954-1810(86)90052-X"},{"key":"CIT0024","volume-title":"Blackboard Systems","author":"Hayes-Roth B.","year":"1988"},{"key":"CIT0025","series-title":"Technical Report KSL-88-19","volume-title":"ACCORD: a framework for a class of design tasks","author":"Hayes-Roth B.","year":"1988"},{"key":"CIT0026","volume-title":"Blackboard Systems","author":"Hayes-Roth B.","year":"1988"},{"key":"CIT0027","unstructured":"Hewett, M. and Hewett, R. Mechanisms for effcient blackboard systems. Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94 ). Seattle, Washington."},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1007\/BF00871706"},{"key":"CIT0029","volume-title":"The Psychology of Expertise: Cognitive Research and Empirical AI","author":"Hoffman R.","year":"1994"},{"key":"CIT0030","volume-title":"Blackboard Architectures and Applications","author":"Jagannathan V.","year":"1989"},{"key":"CIT0031","unstructured":"Kant, E. A knowledge-based approach to using effciency estimation in program synthesis. Proceedings of the First International Conference on Artificial Intelligence. Menlo Park, CA. pp.219\u2013239."},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(83)90009-7"},{"key":"CIT0033","volume-title":"Interactive Programming Environments","author":"Kant E.","year":"1984"},{"key":"CIT0034","first-page":"169","volume-title":"Automating Software Design","author":"Kant E.","year":"1991"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1109\/52.210600"},{"key":"CIT0036","volume-title":"The Psychology of Personal Constructs","author":"Kelly G.","year":"1955"},{"key":"CIT0037","volume-title":"The Art of Programming","author":"Knuth D.","year":"1968"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(87)90032-X"},{"key":"CIT0039","volume-title":"Automating Software Design","author":"Lowry M.","year":"1991"},{"key":"CIT0040","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-934613-12-5.50006-9","volume-title":"Readings in Artificial Intelligence and Software Engineering","author":"Manna Z.","year":"1986"},{"key":"CIT0041","volume-title":"Webster's Ninth New Collegiate Dictionary","year":"1989"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3632-1"},{"key":"CIT0043","volume-title":"Expert Systems for Experts","author":"Parsaye K.","year":"1988"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356917"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(87)90007-7"},{"key":"CIT0046","volume-title":"The Programmer's Apprentice","author":"Rich C.","year":"1989"},{"key":"CIT0047","doi-asserted-by":"crossref","unstructured":"Rich, C. A formal representation for plans in the programmer's apprentice. Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Vancouver, Canada.","DOI":"10.1007\/978-1-4612-5196-5_9"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80121-X"},{"key":"CIT0049","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80123-3"},{"key":"CIT0050","volume-title":"Algorithms","author":"Sedgewick R.","year":"1988"},{"key":"CIT0051","first-page":"207","volume-title":"Automating Software Design","author":"Setliff D.","year":"1991"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1109\/32.142874"},{"key":"CIT0053","first-page":"6","volume":"10","author":"Setliff D.","year":"1993","journal-title":"IEEE Software"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"CIT0055","first-page":"483","volume-title":"Automating Software Design","author":"Smith D. R.","year":"1991"},{"key":"CIT0056","doi-asserted-by":"crossref","unstructured":"Smith, D. R. and Parra, E. A. Transformational approach to transportation-scheduling. Proceedings of the Eighth Knowledge-Based Software Engineering Conference. Chicago, IL.","DOI":"10.1109\/KBSE.1993.341197"},{"key":"CIT0057","doi-asserted-by":"crossref","unstructured":"Smith, T. E. and Setliff, D. E. Towards supporting design phase synthesis. Proceedings of the Eighth Knowledge-Based Software Engineering Conference. Chicago, IL.","DOI":"10.1109\/KBSE.1993.341201"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010283"},{"key":"CIT0059","first-page":"129","volume-title":"The Nature of Expertise","author":"Soloway E.","year":"1988"},{"key":"CIT0060","first-page":"153","volume-title":"Expert Systems in Computer-Aided Design","author":"Tommelein I. D.","year":"1987"},{"key":"CIT0061","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80090-2"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281396147348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,29]],"date-time":"2017-11-29T11:36:54Z","timestamp":1511955414000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281396147348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":61,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["10.1080\/095281396147348"],"URL":"https:\/\/doi.org\/10.1080\/095281396147348","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}