Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-29T14:58:53Z
dc.date.available 2012-10-29T14:58:53Z
dc.date.issued 2005-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23148
dc.description.abstract En este trabajo, exploramos la utilización de una lógica temporal lineal de primer orden para la verificación de propiedades de ejecuciones de programas abstractos, escritos en un lenguaje de diseño de programas llamado CommUnity. CommUnity es un lenguaje cuya semántica y mecanismos de composición están basados en construcciones de teoría de categorías. Desarrollamos un caso de estudio, en el cual hacemos uso de una interpretación de programas CommUnity como sistemas de transición de estados, y experimentamos con el uso del demostrador de teoremas STeP para realizar verificaciones. Finalmente, discutimos algunas posibles formas de realizar las actividades de verificación de manera modular, aprovechando los distintos tipos de morfismos de programas disponibles en CommUnity. es
dc.language es es
dc.subject Temporal logic es
dc.subject Design languages es
dc.subject Verification es
dc.title Verificación de propiedades temporales de diseños community: un caso de estudio es
dc.type Objeto de conferencia es
sedici.creator.person Aguirre, Nazareno Matías es
sedici.creator.person Regis, Germán es
sedici.description.note II Workshop de Ingeniería de Software y Bases de Datos (WISBD) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2005-10
sedici.relation.event XI Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (98.74Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)