{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T18:10:03Z","timestamp":1736187003480,"version":"3.32.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T00:00:00Z","timestamp":1374451200000},"content-version":"vor","delay-in-days":6412,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of King Saud University - Computer and Information Sciences"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1016\/s1319-1578(96)80006-1","type":"journal-article","created":{"date-parts":[[2013,4,2]],"date-time":"2013-04-02T04:45:29Z","timestamp":1364877929000},"page":"79-109","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Experiment in Knowledge Based Programing"],"prefix":"10.1007","volume":"8","author":[{"given":"Pavol","family":"Navrat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viera","family":"Rozinajova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10.1016\/S1319-1578(96)80006-1_bib1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1207\/s15516709cog0802_1","article-title":"Learning to Program in LISP","volume":"8","author":"Anderson","year":"1984","journal-title":"Cognitive Science"},{"issue":"No. 9","key":"10.1016\/S1319-1578(96)80006-1_bib2","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1145\/6592.6593","article-title":"The Automated Tutoring of Introductory Computer Programming","volume":"29","author":"Anderson","year":"1986","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1319-1578(96)80006-1_bib3","series-title":"A Knowledge Based Approach to Software Development Amsterdam","first-page":"249","author":"Aslett","year":"1991"},{"issue":"No. 1\u20133","key":"10.1016\/S1319-1578(96)80006-1_bib4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0360-1315(92)90045-7","article-title":"The CORE Guided Discovery Approach to Acquiring Programming Skills","volume":"18","author":"Boyle","year":"1992","journal-title":"Computers and Education"},{"key":"10.1016\/S1319-1578(96)80006-1_bib5","first-page":"1","article-title":"The Structure of Design Processes","volume":"Vol. 28","author":"Dasgupta","year":"1989"},{"year":"1976","series-title":"A Discipline of Programming","author":"Dijkstra","key":"10.1016\/S1319-1578(96)80006-1_bib6"},{"issue":"No. 6","key":"10.1016\/S1319-1578(96)80006-1_bib7","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1109\/32.142870","article-title":"Knowledge Representation and Reasoning in the Design of Composite Systems","volume":"18","author":"Fickas","year":"1992","journal-title":"IEEE Transactions on software Engineering"},{"key":"10.1016\/S1319-1578(96)80006-1_bib8","series-title":"Proc. EastDurOOPe\u201991, Short Papers","first-page":"65","article-title":"Extalk - Smalltalk Based Expert Systems Development Tool","author":"Gasparovic","year":"1991"},{"key":"10.1016\/S1319-1578(96)80006-1_bib9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0004-3702(78)80016-2","article-title":"On Program Synthesis Knowledge","volume":"10","author":"Green","year":"1978","journal-title":"Artificial Intelligence"},{"issue":"No. 4","key":"10.1016\/S1319-1578(96)80006-1_bib10","first-page":"179","article-title":"PROUST: An Automatic Debugger for Pascal Programs","volume":"10","author":"Johnwon","year":"1985","journal-title":"Byte"},{"key":"10.1016\/S1319-1578(96)80006-1_bib11","first-page":"180","article-title":"An Architecture for Intelligent Assistance in Software Development","author":"Keiser","year":"1987"},{"key":"10.1016\/S1319-1578(96)80006-1_bib12","series-title":"IFIP 1989","first-page":"257","article-title":"The PROSPECTRA Methodology of Program Development","author":"Krieg-Bruckner","year":"1989"},{"article-title":"A Knowledge Based Program Creation","year":"1989","author":"Molnar","key":"10.1016\/S1319-1578(96)80006-1_bib13"},{"key":"10.1016\/S1319-1578(96)80006-1_bib14","series-title":"Proc. Artificial Intelligence and Information Control Systems of Robots 87","first-page":"375","article-title":"Towards a Master Programmer: A Paradigm for Automated Tutoring of Programming","author":"Navrat","year":"1987"},{"issue":"No. 2","key":"10.1016\/S1319-1578(96)80006-1_bib15","first-page":"139","article-title":"Using Automatic Program Synthesizer to Generate Solutions from Diverse Problem Environments","volume":"7","author":"Navrat","year":"1988","journal-title":"Computers and Aritficial Intelligence"},{"key":"10.1016\/S1319-1578(96)80006-1_bib16","series-title":"Proc. Artificial Intelligence and Information-Control Systems of Robots 89","first-page":"187","article-title":"What Knowledge is The Knowledge Based Programming Based On?: An Inquiry into Knowledge Sources","author":"Navrat","year":"1989"},{"key":"10.1016\/S1319-1578(96)80006-1_bib17","series-title":"KEX: Computer Aided Knowledge Engineering System","first-page":"156","author":"Navrat","year":"1989"},{"key":"10.1016\/S1319-1578(96)80006-1_bib18","series-title":"Proc. EUROCAL\u201987, LNCS 378","first-page":"412","article-title":"Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments","author":"Navrat","year":"1989"},{"key":"10.1016\/S1319-1578(96)80006-1_bib19","first-page":"351","article-title":"A Tool for Knowledge-Based Systems Development","author":"Navrat","year":"1991"},{"key":"10.1016\/S1319-1578(96)80006-1_bib20","first-page":"253","article-title":"Intelligent Support for Software Construction, and Higher Education in Informatics at The Slovak TU: The DEC Connection","author":"Navrat","year":"1992"},{"issue":"No. 4","key":"10.1016\/S1319-1578(96)80006-1_bib21","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0360-1315(93)90032-E","article-title":"Making Programming Knowledge Explicit","volume":"21","author":"Navrat","year":"1993","journal-title":"Computers and Education"},{"issue":"No. 6","key":"10.1016\/S1319-1578(96)80006-1_bib22","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/32.142869","article-title":"Seven Layers of Knowledge Representation and Reasoning in Support of Software Development","volume":"18","author":"Rich","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1319-1578(96)80006-1_bib23","series-title":"Proc. AI-ED 93 World Conference on Artificial Intelligence in Education","first-page":"584","article-title":"Explicit Knowledge Representation in Support of Learning Programming","author":"Rozinajova","year":"1993"},{"issue":"No. 6","key":"10.1016\/S1319-1578(96)80006-1_bib24","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/32.142874","article-title":"Knowledge Representation and Reasoningin a Software Synthesis","volume":"18","author":"Setliff","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No. 9","key":"10.1016\/S1319-1578(96)80006-1_bib25","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","article-title":"KIDS: A Semiautomatic Program Development System","volume":"16","author":"Smith","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1319-1578(96)80006-1_bib36","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","article-title":"Algorithm Theories and Design Tactics","volume":"14","author":"Smith","year":"1990","journal-title":"Science of Computer Programming"},{"issue":"No. 5","key":"10.1016\/S1319-1578(96)80006-1_bib27","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1109\/TSE.1984.5010283","article-title":"Empirical Studies of Programming Knowledge","volume":"10","author":"Soloway","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"year":"1954","key":"10.1016\/S1319-1578(96)80006-1_bib28"},{"key":"10.1016\/S1319-1578(96)80006-1_bib29","series-title":"The Specification of Computer Programs","first-page":"287","author":"Turski","year":"1987"},{"issue":"No. 1\u20133","key":"10.1016\/S1319-1578(96)80006-1_bib30","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0360-1315(92)90041-3","article-title":"Learning of Building Rule-Based Models","volume":"18","author":"Webb","year":"1992","journal-title":"Computers and Education"}],"container-title":["Journal of King Saud University - Computer and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1319157896800061?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1319157896800061?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T17:15:55Z","timestamp":1736183755000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1319157896800061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":30,"alternative-id":["S1319157896800061"],"URL":"https:\/\/doi.org\/10.1016\/s1319-1578(96)80006-1","relation":{},"ISSN":["1319-1578"],"issn-type":[{"type":"print","value":"1319-1578"}],"subject":[],"published":{"date-parts":[[1996]]}}}