El debate acerca de la verificación formal de los programas

En este trabajo nos concentramos en un análisis de los argrunentos presentados en (Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus opiniones, por ejemplo en el trabajo (Fetzer:l991). Si bien han aparecido criticas de los argrunentos de Fetzer- (por ej...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Blanco, Javier, García, Pío
Formato: conferenceObject
Lenguaje:Español
Publicado: Penélope Lodeyro 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/3429
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-3429
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Epistemología
Historia de la ciencia
spellingShingle Epistemología
Historia de la ciencia
Blanco, Javier
García, Pío
El debate acerca de la verificación formal de los programas
topic_facet Epistemología
Historia de la ciencia
description En este trabajo nos concentramos en un análisis de los argrunentos presentados en (Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus opiniones, por ejemplo en el trabajo (Fetzer:l991). Si bien han aparecido criticas de los argrunentos de Fetzer- (por ejemplo Barwise: 1989), suelen seguir citándose estos trabajos (por ejemplo Eden:2007, o el curso de Tedre) para sostener la imposibilidad de la verificación formal o la insuficiencia. Esto último parece ser cierto, pero no por los argrunentos presentado por Fetzer sino por la dificultad de validar los modelos obtenidos a partir de especificaciones formales.
format conferenceObject
author Blanco, Javier
García, Pío
author_facet Blanco, Javier
García, Pío
author_sort Blanco, Javier
title El debate acerca de la verificación formal de los programas
title_short El debate acerca de la verificación formal de los programas
title_full El debate acerca de la verificación formal de los programas
title_fullStr El debate acerca de la verificación formal de los programas
title_full_unstemmed El debate acerca de la verificación formal de los programas
title_sort el debate acerca de la verificación formal de los programas
publisher Penélope Lodeyro
publishDate 2016
url http://hdl.handle.net/11086/3429
work_keys_str_mv AT blancojavier eldebateacercadelaverificacionformaldelosprogramas
AT garciapio eldebateacercadelaverificacionformaldelosprogramas
bdutipo_str Repositorios
_version_ 1764820396191776768

Ejemplares similares