"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó

En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una importancia cada vez mayor. En los comienzos, la programación se realizaba de una for...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Martínez López, Pablo E.
Otros Autores: Baum, Gabriel Alfredo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1996
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2139
Aporte de:
id I19-R120-10915-2139
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
teoría de la programación
Requirements/Specifications
programación
spellingShingle Ciencias Informáticas
teoría de la programación
Requirements/Specifications
programación
Martínez López, Pablo E.
"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
topic_facet Ciencias Informáticas
teoría de la programación
Requirements/Specifications
programación
description En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una importancia cada vez mayor. En los comienzos, la programación se realizaba de una forma intuitiva, casi se podría decir artística; con el correr de los años se comprobó que los métodos utilizados eran inadecuados, por lo que se desarrollaron nuevas técnicas, mediante las cuales un programa debía ser diseñado al mismo tiempo que la prueba de su corrección. Quizás la mejor metáfora para describir la necesidad de formalidad es la que D’Argenio describe en el prefacio de su tesis de grado, donde compara a los programas con moscas, y a los métodos formales con una máquina mata-moscas; si los programadores utilizasen sus zapatos para aplastar las moscas (no utilizando los métodos formales, sino la intuición), sucedería lo que se cita en el epígrafe. Es por ello que se hace tanto hincapié en la investigación de métodos que permitan un tratamiento formal del proceso de desarrollo de software, o bien para la construcción, o bien para la especificación y verificación. En esta tesis utilizaremos un método de construcción que consiste en realizar transformaciones sobre una especificación hasta obtener un programa que la satisfaga.
author2 Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Martínez López, Pablo E.
format Tesis
Tesis de grado
author Martínez López, Pablo E.
author_sort Martínez López, Pablo E.
title "Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
title_short "Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
title_full "Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
title_fullStr "Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
title_full_unstemmed "Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
title_sort "forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/2139
work_keys_str_mv AT martinezlopezpabloe forkswithoutphilosophersodecomolacuantificacionuniversalperdiounabatallaydelasventajasqueelloreporto
bdutipo_str Repositorios
_version_ 1764820464457220097