Programación automática

  1. Fernández Chamizo, María del Carmen
  2. Vaquero Sánchez, Antonio
Journal:
Revista de informática y automática

ISSN: 0210-8712

Year of publication: 1985

Year: 18

Issue: 63

Pages: 7-20

Type: Article

More publications in: Revista de informática y automática

Abstract

The "software crisis" justifies and stimulates the considerable research work now being undertake to ease the programmer's task. In this way, a great number of automatic programming systems have been developed in order to automate some part of the program-writting activities. In this paper we describe the state of the art in automatic programming and its future development. There are two major goals in automatic programming: reducing time and cost in software development and incrementing programs reliability. Automatic programming systems use different specifications techniques with range from formal languages to subsets of the natural language. There are several synthesis methods such as knowledge-based methods, theorem-proving approach, synthesis by analogy, etc. There are also different output languages and several applications domain.