Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-09-18T15:20:46Z
dc.date.available 2012-09-18T15:20:46Z
dc.date.issued 2005
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21121
dc.description.abstract En este trabajo presentamos una herramienta que permite a los ingenieros de software realizar ciertas verificaciones sobre diseños arquitecturales. Esta herramienta, llamada Darwin, utiliza como lenguaje de modelado la notación BON, en cuanto las verificaciones son realizadas por medio del lenguaje lógico Alloy. Adicionalmente presentamos algunas de las funcionalidades que agregaremos a la herramienta en un futuro próximo. es
dc.format.extent 258-262 es
dc.language es es
dc.subject SOFTWARE ENGINEERING es
dc.subject herramientas es
dc.title Darwin: una herramienta para verificar diseños arquitecturales es
dc.type Objeto de conferencia es
sedici.identifier.isbn 950-665-337-2 es
sedici.creator.person Castro, Pablo Francisco es
sedici.creator.person Ponzio, Pablo Daniel es
sedici.creator.person Demasi, Ramiro Adrián es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.description.note Eje: Ingeniería en 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 2005-05
sedici.relation.event VII Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

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