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-26T13:47:08Z
dc.date.available 2012-10-26T13:47:08Z
dc.date.issued 2002-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23020
dc.description.abstract En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación. es
dc.format.extent 111-123 es
dc.language es es
dc.subject Ingeniería de software es
dc.subject SOFTWARE ENGINEERING es
dc.subject Formal methods es
dc.subject Métodos formales es
dc.subject calculo relacional es
dc.subject Algebras Fork es
dc.title Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional es
dc.type Objeto de conferencia es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.creator.person Medel, Ricardo es
sedici.description.note Eje: Ingeniería de software 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 2002-10
sedici.relation.event VIII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (230.1Kb) - 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)