Upload resources

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

 

Darwin: una herramienta para verificar diseños arquitecturales

Document type: Objeto de conferencia

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.

Notes

Eje: Ingeniería en Software

General information

Exposure date: mayo 2005
Issue date: 2005
Document language: Spanish
Event: VII Workshop de Investigadores en Ciencias de la Computación
Origin: Red de Universidades con Carreras en Informática (RedUNCI)
ISBN: 950-665-337-2
Pages: 258-262
xmlui.dri2xhtml.METS-1.0.item-dc-subject: SOFTWARE ENGINEERING ; herramientas
Subjects: Ciencias Informáticas

Download Files

Thumbnail
Documento completo
Download file (137.2Kb) - PDF
 
Created: 18 de septiembre de 2012
Available since: 18 de septiembre de 2012
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/21121

    • 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)