Survey of Knowledge Based Approaches to Automating Program Formation

Pavol Navrat
<span title="">1996</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o63dl5tt4rchrgx6avnqabwxd4" style="color: black;">Journal of King Saud University: Computer and Information Sciences</a> </i> &nbsp;
The paper presents a critical overview of the development in the area of automating the program formation. seen in a broader perspecti ve from automatic program synthesis to computer aided software engineering. The fundamental problems are identified in the area of automatic program synthesis, intelligent support of software development, computer aided software engineering. The trends in related fields, e&pecially in artificial intelligence are surveyed and the possible influence is evaluated.
more &raquo; ... eed for urgent development of theory of programming is recognised. In parallel, knowledge engineering methods should be considered because they allow building models of the respective domain.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1319-1578(96)80003-6">doi:10.1016/s1319-1578(96)80003-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4i6wno2jtjen7ccxqwi4rfcgyi">fatcat:4i6wno2jtjen7ccxqwi4rfcgyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170930174626/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/936/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTMxOTE1Nzg5NjgwMDAzNg%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/76/d2763b6cda696127c8892a496dcf4ee04204a305.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1319-1578(96)80003-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>