Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction
Conclusions
References

Survey of Knowledge Based Approaches to Automating

Profile image of Pavol NavratPavol Navrat

digital.library.ksu.edu.sa

https://doi.org/10.1016/S1319-1578(96)80003-6
visibility

…

description

20 pages

link

1 file

Abstract

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. Need 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.

Related papers

Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design
Behrouz Far

Software Engineering and Knowledge Engineering, 1993

The goal of this project is to automate software design by accumulating knowledge and experience of human designers. This paper presents the CRE- ATOR2, an experimental expert system for auto- matic software design, that simulates the behav- ior of human expert designers by applying the de- sign process knowledge. In CREATOR2 the focus is on reproducing human cognitive processes and

View PDFchevron_right
Software Engineering Using Artificial Intelligence Techniques: Current State and Open Problems
Hany Ammar

2012

Abstract: This paper surveys the application of artificial intelligence approaches to the software engineering processes. These approaches can have a major impact on reducing the time to market and improving the quality of software systems in general. Existing survey papers are driven by the AI techniques used, or are focused on specific software engineering processes. This paper relates AI techniques to software engineering processes specified by the IEEE 12207 standard of software engineering.

View PDFchevron_right
A knowledge base for supporting an intelligent program editor
Daniel Shapiro

International Conference on Software Engineering, 1984

This paper presents work in progress towards a program development and maintenance aid called the Intelligent Program Editor (IPE), which applies artificial intelligence techniques to the task of manipulating and analyzing programs. The IPE is a knowledge based tool: it gains its power by explicitly representing textual, syntactic, and many of the semantic (meaning related) and pragmatic (application oriented) structures in programs. To demonstrate this approach, we implement a subset of this knowledge base, and a search mechanism called the Program Reference Language (PRL), which is able to locate portions of programs based on a description provided by a user.

View PDFchevron_right
From Modeling of Data Structures towards Automatic Programs Generating
Valentin Velikov

World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering, 2016

Automatic program generation saves time, human resources, and allows receiving syntactically clear and logically correct modules. The 4-th generation programming languages are related to drawing the data and the processes of the subject area, as well as, to obtain a frame of the respective information system. The application can be separated in interface and business logic. That means, for an interactive generation of the needed system to be used an already existing toolkit or to be created a new one.

View PDFchevron_right
Automatic Program Development
Alberto Pettorossi

Springer eBooks, 2008

In this book we have collected the revised, updated versions of the papers which appeared in two special issues of the Higher-Order and Symbolic Computation Journal [2, 3] which were published in Bob's memory. The book also includes some extra papers by colleagues and members of the IFIP Working Group 2.1 of which Bob was an active, illuminating, and stimulating member. All papers are focused on some of the research interests of Bob and, in particular, on the transformational development of programs and their algorithmic derivation from formal specifications. We hope that the reader will find this book a stimulus for continuing and deepening these research lines. We have included in the book: (i) an obituary written by Harry Mairson, (ii) reminiscences from three colleagues, Martin Davis, Helmut Partsch, and Alan Siegel, and (iii) some personal recollections by Gary Paige, Bob's brother. The pictures were kindly provided by Nieba Paige, Bob's wife, and their children Jane and John. They were all very kind to us.

View PDFchevron_right
Some Projects in Automatic Programming
Gerald Sussman

1974

This paper proposes three research topics within the general framework of Automatic Programming. The projects are designing (1) a student programmer, (2) a robot programmer and (3) a physicist's helper. The purpose of these projects is both to explore fundamental ideas regarding the nature of programming as well as to propose practical applications of AI research. The reason for offering this discussion as a Working Paper is to suggest possible research topics which members of the laboratory may be interested in pursuing.

View PDFchevron_right
Knowledge based method for building a software system configuration
Pavol Navrat

Knowledge-Based Systems, 1996

Languages, tools and environments play a signi cant role in a knowledgebased system development life cycle. This paper presents an approach to training knowledge engineers together with evaluation of languages used for knowledge-based system development from the educational point of view. An e x p eriment aimed to this evaluation is described. We claim that general programming languages can also be used i n t r aining. We provide experimental evaluation of their varying degree of suitability with respect to di erences of languages.

View PDFchevron_right
KoDEgen: A Knowledge Driven Engineering Code Generating Tool
Reuven Yagel

Proceedings of the 4th International Workshop on Software Knowledge, 2013

KDE-Knowledge Driven Engineering-is an extension of MDE to a higher level of abstraction, in which ontologies and their states replace the standard UML models. But in order to test in practice the KDE approach one needs to actually run the highly abstract ontologies and resulting models and code. This work describes the design and implementation of KoDEgen-a KDE tool for code generation-based on ontologies, ontology states and a scenario file. The implementation uses a modified Gherkin syntax. The tool is demonstrated in practice by generating the actual code for a few case-studies.

View PDFchevron_right
Generating Software Development Process Using Artificial Intelligence Methods
IJSRD - International Journal for Scientific Research and Development

In this paper discusses the mechanism of artificial intelligence applied to software engineering process. Employing artificial intelligence in this manner, salvages the wastage of time in case of marketing, and also increases the quality of software systems. This paper relates AI techniques to software engineering processes specified by the IEEE 12207 standard of software engineering. The paper is driven by the activities and tasks specified in the standard for each software engineering process. This discussion brings the state of the art of AI techniques closer to the software engineering process, and highlights the open research problems for the research community. Surveyance of AI related to software engineering process is also described based on various procedures adapted to the specified standard.

View PDFchevron_right
Research on Knowledge Based Programming
Elaine Kant

1979

: The following document is a report on my recent visit to several European universities and research centers. In it I will attempt two things. First, to convey personal impressions about the centers and their specific research organization. Second, to state a few general and specific observations collected during my visit, regarding computer science areas where work done at these centers may have the highest potential impact. Computer science research in Europe is of a different nature than that of the United States. While computer science work in this country concentrates on the development of advanced technologies at the boundary of basic research, similar work in Europe concentrates more on providing solutions to the everyday computational problems faced by the production sector of society (industry, government, commerce). The main difference with research in the United States thus lies in emphasis and directionality. The main emphasis of current research in the centers I visite...

View PDFchevron_right

References (56)

  1. Office of Naval Research. "Symposium on Automatic Programming for Digital Computers." Washington, D.C.: Office of Naval Research. Dept. of Navy, 1954.
  2. AsIen, MJ. "A Knowledge Based Approach to Softwere Development". Amsterdam. The Netherlands: North Holland Publishing Co., (1991).
  3. Navrat. P. "Intelligent Support for Software Construction. and Higher Education in Informatics at The Slovak TU : teh DEC Connection." In : Proc. DECSYM 92 Latest Trmds in Computing, Side- Antalya. (1992), 253-263.
  4. 4J Spivey,J.M. "TheZNofarion." Hemel Hampstead: Prentice Ha1I,1989.
  5. Milnes. B.G.: Peiton, G.; Doorenhos, R. : Hucka, M.; Rosenbloom. P., and Newell. A. "A Specification of The Soar Cognitive Architecture in Z." Rept. CMU-CS-92-J69. School oj Computer Science, Carnegie Mellon University, Pittsburgh, (1992).
  6. Fiekas, S. "A Knowledge Based Approach 10 Specification Acquisition and Construction." TR -85- 13. Dept. of CIS, University of Oregon, (1985).
  7. Biermann, A.W. and Krishnaswamy, R. "Constructing Programs from Example Computations." IEEE Transactions on Computers. C-24, No.2 (1976), 141-153.
  8. Siklossy, L. and Sykes, D.A. "Automatic Program Synthesis from Example Problems." In: Advance Papers llCA14, Tbilisi, (1975). 268-273.
  9. 9J Manna, Z. and Waldinger. R. "A Deductive Approach to Program Synthesis." ACM Trans. on Programming Languages and Symms. 2. No.1 (1980),90-121.
  10. Bursta11, R.M. and Darlington. J. " A Transformation System for Developing Recursive Programs." Journal afthe ACM, 24, No.l(1977), 44-67.
  11. II] Hewitt, C.and Smith, B. "Towards a Programming Apprenlice." IEEE Transactions on Software Engineering, SE-l, No.1 (1975), 26-45.
  12. I 2] Vojtek, V. ; Molnar, L. and Navrat, P. "Automatic Program Synthesis Using Heuristics and Interaction." Computers and Artijieiallnfelligence, 5. No.5 (1986), 427-442.
  13. Green. C. and Barstow, D.R." On Program Synthesis Knowledge." Artifleiallntelligence. 10, (1978), 241-279.
  14. Molnar. L.; Navrat, P.and Vojtek, V. "Heuristic Search with Global and Local Heuristics." Computers and Artificiai lnreliigence, 5, 417-126.
  15. Cacace, F. : Ceri, S. ; Tanca, L. and Crespi; Reghizzi, S. "Designing and Prototyping Data-Intensive Applications in The Logres and Algres Programming Environment", IEEE Transactions on Software Engineering, 18, No.6 (1992). 534-546.
  16. Molnar, L. and Navrat, P. "Automation of Program Creation and Methodology of Programming." (Tn Slovak). Elektrotechnicky Ca.wpi.t, 36, No.4 (1985), 316-323.
  17. Navrat. P.; Molnar, L. and Vojtek, V. "Using Automatic Program Synthesizer to Generate Solutions from Diverse Problem Environments." Computers and Arrijiciallnlelligence, 7, No.2 (1988).
  18. Navrat, P.;• Molnar, L. and Vojtek, V. "Using Automatic Program Synthesizer as a Problem Solver; Some Interesting Experiments."In: J. Davenport (Ed.) Proc. EUROCAL'S7, LNCS 378, Berlin: Springer, (1989).
  19. 19J Molnar, L. ; Navrat, P. and Vojtek, V. "A System for Automatic Implementation of Abstract Data Types." Computers and Artificial Intelligence. 6, No.5 (1987), 481-488.
  20. Setliff, D. and Rutenbar, R. A. " Knowledge Representation and Reasoning in a Software Synthesis Architecture." IEEE Transactions on Sofrware Engineering, 18. No.6 (1992), 523-533.
  21. Neighbors. 1.M. "The Draco Approach to Constructing Software from Reusable Components." IEEE Transactions on Software Engineering, SE-lO, No.9 (1984). 564-574.
  22. Wile, D.S. "Program Developments: Formal Explanations of Implementations" Communications Of the ACM: 26. No.ll (1983), 902-911.
  23. Bhansa1i, S. and Harandi, M.T. "Synthesis of UNIX Programs Using Derivational Analogy." Machine Learning, 10, No.1 (1993).
  24. Navrat, P. and Klaudiny, M. "A Syntax Directed Editor of Pascal Programs." (In Slovak) In: Proc. Modern Programming 1983, Part 2, Zilina (1983),125-136.
  25. Teitelman, W. "INTERLISP Reference Manual." Xerox Palo Alto Research Center, Palo Alto ( 1978).
  26. Rich, C. and Feldman. Y.A. "Seven Layers of Knowledge Representation and Reasoning in Support of Software Development." IEEE Transactions on Software Engineering, 18, No.6 (1992), 451-469.
  27. Fickao;, S. and Helm, B.R."Knowledge Representation and Rea<;oning in The Design of Composite Systems." EEE Transactions on Software Engineering, 18, No.6 (1992), 470-487.
  28. Keiser, G.E. and Feiler, P.H. "An Architecture for Intelligent Assistance in Software Development." In: Proc. ACM, (1987).
  29. Krieg-Bruckner, B ... The PROSPECTRA Methodology of Program Development." In ; J. Zalewski, and W. Ehrenberger (Ed.) : lFlP 1989, Amsterdam: Elsevier, (1989).
  30. Fisher, G. ; Girgensohn, A. ; Nakakoji, K. and Redmiles, D. "Supporting Software Designers with Integrated Domain Oriented Design Environments." IEEE Transactions on Software Engineering, 18, No.6 (1992), 511-522.
  31. Navrat, P. and Miada, I. "What Knowledge is The Knowledge Based Programming Based On? : An Inquiry into Knowledge Sources." In:1. Plander (Ed.) Proc. Artificial Intelligence and Information- Control Systems of Robots 89, Amsterdam: North-Holland, (1989).
  32. Navrat, P. and Fric, P. "A Tool for Knowledge-Based Systems Development." In: V. Marik (Ed.) Proc. Artificial Intelligence ApplicatiOns Conference A/'9J, Prague, (1991).
  33. Gasparovic, L. and Navrat, P. "Extalk -Smalltalk Based Expen Systems Development Tool." In: A. Mrazik (Ed.): Proc. EaST EurooPe'9J, Short Papers, Bratislava (1991).
  34. Anderson, J.R.: Farrell, R, and Sauers, R. "Learning to Program in LISP." Cognitive Science, 8, (1984), 87-129.
  35. Soloway, E. and Ehrlich, K.nEmpirical Studies of Programming Knowledge." IEEE TransactioTlS on Software Engineering, 10, No.5 (1984).305-321.
  36. Boyle. T. and Margetts, S. "The CORE Guided Discovery Approach to Acquiring Programming Sills." Computers and Educalion. 18, No. J-3 (1992),127-133.
  37. Anderson. l.R. and Skwarecki. E. "The Automated Tutoring of Introductory Computer Progranuning."Communications o/the ACM, 29, (1986), 842-849.
  38. Johnson, W. L. and Soloway, E.M, "PROUST: An Automatic Debugger for PascaJ Programs." Byte, 10, No.4 (1985),179-190.
  39. Anderson, J.R.The Architecture o/Cognitio, Combridge: Harvard University Press, 1983.
  40. Davies, S.P. and Castell, A.M. "Embodying Theory In Intelligent Tutoring Systems." An Evaluation of Plan-Based Accounts of Programming Skill, Computers and Education, 20, No.1 ( 1993), 89•96.
  41. Bma, P. " Teaching Prolog Techniques. "Computers and Education, 20, No.1 (1993), /11-117.
  42. Bertels, K.; Vanneste, P., and De Backer. C. "A Cognitive Model of Programming Knowledge for Procedural Languages." In: I. Tomek (Ed.) Computer Assisted Learnings 92, Proceedings of ICCAL 92, Springer Verlage, (1992), 124-135.
  43. Jonckers, V, "A Framework for Modeling Programming Knowledge." PhD. Thesis. Vrije Universiteit Brusel, Dienst Artificiele Intelligentie, (1987).
  44. Brusilovsky, P.L. "Towards an Intelligent Environmentt for Learning Introductory Programming." In: E. Lemut; B. du Boulay, and G. Dettori (Eds.) Cognitive Modesls and Intelligent Enviornments for Learnign Programming. Springer -Verlag, (1992).
  45. Molnar, L. and Navrat, P. "Problem Solving Aspects in The Education of Programming." In: Proc. 27. Internlll.ionales Wissenschaftliches Kolloquium, Ilmenau, Technische Hochschule. (1982).
  46. Navrat, P. "Towards a Master Programmer: A Paradigm for Automated Tutoring of Programming." In : I. Plander (Ed.) Proc. Arlijiciallntelligence and Information-Control Systems of Robots 87, Amsterdam: North-Holland, (1987).
  47. Navrat, P. and Rozinajova, V. "Making Programming Knowledge Explicit." Computers and Education. 21. NO.4 (1993). 281-299.
  48. Dijkstra. E. W. "On Cruelty of Really Teaching Computing Science." Communications of 'he A eM, 32. No.12 (1989), 1398-1404.
  49. 49J Turski. W.M. and Maibaum. T.S.E. "The Specification (if Computer Programs." Wokingham: Addison Wesley, (1987), 287.
  50. Smith. D.R. and Lowry. M.R. "Algorithm Theories and Design Tactics." Science of Computer Programming, ]4, (1990), 305-321.
  51. 51J Reddy, U.S. "Formal Methods in Transformational Derivation of Programs." In: Proc. ACM SIGSOFT Intern. Workshop on Formal Methods in Software Development, Napa, (1990). 104-114.
  52. Cooke, D.E. "Towards a Formalism to Produce a Programmer Assistant CASE Tool." IEEE Trans. on Know/taRt and Dutu Engineering, 2, No.3 (I990), 320-326.
  53. -1-, o.J~ ~.,r,ll ~ J4---.j .,:.,IJ}a:JJ rls. JJI,; e:--tiJ"J1 ~ ,~1 ~ 4,;
  54. "JI ,)..L.>.; LJ . '-:'-' ..,......WI ii..Ls-~ .,:.,~ ~I .i..,......l;..a ~1 ~\.r.U ~'-" y.J'i I ~~\ IJ" ~I~I .r-"l:d ,j'..ul ~JJI ,~Iy-:lJ ~I-.i .;"}\ if~1 ,.;.N~ .j L;.-L.... \1\ JSL!-JI • '-:'-' J""" WI o.Js.~ ~ "r.l' 4......1.: .. 11-, J~ ~\...:-~ .tJ')lJI ~I,) ~ )' G:-JI ~ ~ WI .,:.,LA ~')IJ ~."z J ~ ti J"JI r .".z io!.lJ.l.S
  55. J ~ c.i ..r.!)a.:.lI .i-'-" ~ I...>-.!l\.;...t. ,:,l .u;)1 ~ y ~ LI.J...\l\ J')l;.:. (f . ifl.:..k.,.:r'l \ ~.L.5.il' .j ~ ;-'~-' ij.r---JI;"""..l.:-a> ~L....l J~":JI ~ .1;.\11 ~ ..,;
  56. 1 ~,; loS ~ ,.r.1'..:.o~)a; . 4i Jl..-JI ..:J I,) 0.:,.1 ":J 6.-J \ c.i (,,) ~ "#,,k;

Related papers

A Strategy For Semi-automatic Program Development
Richard Jullig

Nineteeth Asilomar Conference on Circuits, Systems and Computers, 1985., 1985

In this paper we first review the knowledge-based approach to software construction. The knowledge-based approach to software develoment promises attractive solutions to the problems plaguing software develoment. But to realize these benefits knowledge about programming must be well understood, formalized and engineered into a functioning system. This paper presents some aspects of such a formalization, describing knowledge about the procedural implementation of recursive functions and about data structure selection. A significant feature of this approach is that a single transformation may substantially affect the program form, implenienting a high-level design decision. A detailed derivation of a depth-first search algorithm to compute the height of a directed acyclic graph is presented.

View PDFchevron_right
A Common Automated Programming Platform For Knowledge Based Software Engineering
Ivan Stanev

2015

Common Platform for Automated Programming (CPAP) is defined in details. Two versions of CPAP are described: Cloud based (including set of components for classic programming, and set of components for combined programming); and Knowledge Based Automated Software Engineering (KBASE) based (including set of components for automated programming, and set of components for ontology programming). Four KBASE products (Module for Automated Programming of Robots, Intelligent Product Manual, Intelligent Document Display, and Intelligent Form Generator) are analyzed and CPAP contributions to automated programming are presented.

View PDFchevron_right
Experiment in Knowledge Based Programing
Viera Rozinajova

Journal of King Saud University - Computer and Information Sciences, 1996

The paper investigates possibilities of writing programs with having the relevant knowledge on programing available in explicity fonn. in order to perform experiments, a knowledge base was built which codes some of the knowledge related to the problem of selecting a proper data type in the process of program formation. The base is presented in paper along with one experiment which also shows the system performance and user-system interaction. The experiment setting is such that the llser makes a guess which data type is appropriate to use and this hypothesis is either confirmed or rejected by the system. Moreover, as a result of the system's deductive reasoning other acceptable data types are proposed by the system. The result shows that the system is able to provide an advice to a programer. This can be particularly useful in the process of learning programing.

View PDFchevron_right
ITBig : a Prototype implementation of Automatic Software Generation based on Knowledge Model
iping supriana

The aim of this research is to fulfill the need of an automatic application generator with input as simple as possible yet producing a dynamic application as the expected result. Main aspects of this prototype are: application specification, knowledge schema, objectmodel list, programming-language list and databases. Application specification contains list of entities exist in the application. Application specification can also be equipped with non-standard process models. Knowledge schema is an application generating rule which enable a dynamic application to be created. Object-model list is a repository of various objectmodels which can be generated, sorted, and added into a new application. Programming language list and databases are the aspects to fulfill the need of intended language and various databases.

View PDFchevron_right
On the many ways Software Engineering can benefit from Knowledge Engineering
Klaus-Dieter Althoff

2000

View PDFchevron_right
580 California St., Suite 400
San Francisco, CA, 94104
© 2025 Academia. All rights reserved