Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-08-08T16:37:02Z
dc.date.available 2012-08-08T16:37:02Z
dc.date.issued 2010
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/19384
dc.description.abstract Existe consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esenciales de los objetos y agentes, posee características especialmente prometedoras para este tipo de desafíos. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas. es
dc.format.extent 1040-1045 es
dc.language es es
dc.subject Software es
dc.subject modelado es
dc.subject documentación es
dc.subject model checking es
dc.title Un enfoque declarativo para modelar el comportamiento en sistemas reactivos es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-950-9474-49-9 es
sedici.creator.person Asteasuain, Fernando es
sedici.description.note Presentado en el Encuentro de Tesistas de Postgrado 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 2010-10
sedici.relation.event XVI Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (561.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)