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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | conferenceObject |
Lenguaje: | Español |
Publicado: |
Penélope Lodeyro
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/3429 |
Aporte de: |
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 |