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

Autores
Blanco, Javier; García, Pío
Año de publicación
2009
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/3429
Acceder
id RDUUNC_d95ff4b4e3e7bfcd05788eb3d4055e16
oai_identifier_str oai:rdu.unc.edu.ar:11086/3429
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling El debate acerca de la verificación formal de los programasBlanco, JavierGarcía, PíoEpistemologíaHistoria de la cienciaFil: 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.Universidad Nacional de Córdoba2009-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf978-950-33-0756-4http://hdl.handle.net/11086/3429spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-23T11:16:56Zoai:rdu.unc.edu.ar:11086/3429Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-23 11:16:56.339Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv El debate acerca de la verificación formal de los programas
title El debate acerca de la verificación formal de los programas
spellingShingle El debate acerca de la verificación formal de los programas
Blanco, Javier
Epistemología
Historia de la ciencia
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
dc.creator.none.fl_str_mv Blanco, Javier
García, Pío
author Blanco, Javier
author_facet Blanco, Javier
García, Pío
author_role author
author2 García, Pío
author2_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv 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.
description Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina.
publishDate 2009
dc.date.none.fl_str_mv 2009-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv 978-950-33-0756-4
http://hdl.handle.net/11086/3429
identifier_str_mv 978-950-33-0756-4
url http://hdl.handle.net/11086/3429
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1846785268672102400
score 12.982451

Publicaciones similares