Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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


Download Files

Thumbnail
Documento completo
Download file (561.1Kb) - PDF

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)