SOL: Un lenguaje para el programador
En este trabajo se propone llevar a la práctica, a la luz de nuevas tecnologías informáticas, un ambiente de concepción de programas cuyos orígenes se toman de un trabajo publicado por el director del proyecto (1978) y desarrollado a través de diferentes implementaciones y aplicaciones de la metodol...
Guardado en:
Autores principales: | , , , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2002
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21894 |
Aporte de: |
id |
I19-R120-10915-21894 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Español |
topic |
Ciencias Informáticas lenguaje para el programador base de datos SOFTWARE ENGINEERING SOL Languages |
spellingShingle |
Ciencias Informáticas lenguaje para el programador base de datos SOFTWARE ENGINEERING SOL Languages Fontao, Rafael O. Delrieux, Claudio Kalocai, Guillermo Goñi, Gustavo Ramoscelli, Gustavo SOL: Un lenguaje para el programador |
topic_facet |
Ciencias Informáticas lenguaje para el programador base de datos SOFTWARE ENGINEERING SOL Languages |
description |
En este trabajo se propone llevar a la práctica, a la luz de nuevas tecnologías informáticas, un ambiente de concepción de programas cuyos orígenes se toman de un trabajo publicado por el director del proyecto (1978) y desarrollado a través de diferentes implementaciones y aplicaciones de la metodología a lo largo de los últimos años.
La idea central consiste en brindar un lenguaje para el programador, que refleje la metodología de concepción de ideas, más que un lenguaje estándar para programar donde finalmente será escrito el problema a resolver.
En este modelo la estructura de control de un programa se define separadamente del resto de las instrucciones del lenguaje de programación, y es modelada a su vez por el comportamiento de una jerarquía de autómatas finitos.
El enunciado inicial de un problema puede concebírselo como un autómata de un solo estado. A cada estado podrá corresponderle hasta dos próximos estados acorde a la evaluación lógica de una condición ( si existe ) al final de su tarea.
A partir de aquí y en forma recursiva se analiza si un estado particular de un autómata puede ser sintetizado directamente por el lenguaje de programación disponible. En tal caso la descomposición se detiene, sino el comportamiento del estado particular se descompone en un nuevo autómata en un nivel inferior. Y así sucesivamente en un número finito de pasos se arribará a que todos los estados del autómata ( jerarquía de autómatas ) pueden ser sintetizados "razonablemente bien" por instrucciones del lenguaje de programación disponible.
La idea de concebir programas mediante este lenguaje ( o metodología ) resulta de interés como medio unificado de programación, ya que la descripción de la solución de un problema puede plantearse con cierto grado de independencia del lenguaje final a utilizar ( paradigma imperativo ) y por consiguiente puede permitir la reutilización y portabilidad de programas más eficientemente. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Fontao, Rafael O. Delrieux, Claudio Kalocai, Guillermo Goñi, Gustavo Ramoscelli, Gustavo |
author_facet |
Fontao, Rafael O. Delrieux, Claudio Kalocai, Guillermo Goñi, Gustavo Ramoscelli, Gustavo |
author_sort |
Fontao, Rafael O. |
title |
SOL: Un lenguaje para el programador |
title_short |
SOL: Un lenguaje para el programador |
title_full |
SOL: Un lenguaje para el programador |
title_fullStr |
SOL: Un lenguaje para el programador |
title_full_unstemmed |
SOL: Un lenguaje para el programador |
title_sort |
sol: un lenguaje para el programador |
publishDate |
2002 |
url |
http://sedici.unlp.edu.ar/handle/10915/21894 |
work_keys_str_mv |
AT fontaorafaelo solunlenguajeparaelprogramador AT delrieuxclaudio solunlenguajeparaelprogramador AT kalocaiguillermo solunlenguajeparaelprogramador AT gonigustavo solunlenguajeparaelprogramador AT ramoscelligustavo solunlenguajeparaelprogramador |
bdutipo_str |
Repositorios |
_version_ |
1764820465109434369 |