Resumen de Programación automática

María del Carmen Fernández Chamizo , Antonio Vaquero Sánchez

• español

  La "crisis del software" ha impulsado numerosos proyectos de investigación orientados a facilitar la programación de las computadoras. Con este objetivo se han diseñado numerosos sistemas de programación automática a fin de automatizar las distintas fases de la programación. En este artículo presentamos una revisión sobre el estado actual de la programación automática y la perspectiva de futuro. Los objetivos inmediatos de la programación automática son disminuir los costes y tiempos de desarrollo del software, así como aumentar la fiabilidad de los programas producidos. Los sistemas de programación automática existentes utilizan diversas técnicas de especificación que van. desde lenguajes formales hasta subconjuntos del lenguaje natural. En cuanto a la síntesis de los programas existen métodos basados en el conocimiento, en la demostración de teoremas, en analogías, etc. También existen diferencias en cuanto al lenguaje de salida y en el rango de aplicabilidad de los sistemas.

• English

  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.