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

Mostrar todas las versiones(2)

Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina.

Guardado en:
Detalles Bibliográficos
Autores principales: Blanco, Javier, García, Pío
Formato: conferenceObject
Lenguaje:Español
Publicado: Universidad Nacional de Córdoba 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-R141-11086-3429
record_format dspace
spelling I10-R141-11086-34292023-12-11T19:24:21Z El debate acerca de la verificación formal de los programas Blanco, Javier García, Pío Epistemología Historia de la ciencia Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina. Fil: García, Pío. Universidad Nacional de Córdoba; Argentina. 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. Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina. Fil: García, Pío. Universidad Nacional de Córdoba; Argentina. 2016-08-23T18:52:19Z 2016-08-23T18:52:19Z 2009-10 conferenceObject 978-950-33-0756-4 http://hdl.handle.net/11086/3429 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba
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 Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina.
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 Universidad Nacional de Córdoba
publishDate 2016
url http://hdl.handle.net/11086/3429
work_keys_str_mv AT blancojavier eldebateacercadelaverificacionformaldelosprogramas
AT garciapio eldebateacercadelaverificacionformaldelosprogramas
_version_ 1806949011800719360

Ejemplares similares