Upload resources

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

 

Verificando diseños BON mediante Alloy

Document type: Objeto de conferencia

Abstract

En este artículo presentamos una técnica para traducir diseños estructurales expresados en el lenguaje BON, al lenguaje formal Alloy. En donde, la principal ventaja de la traducción es que puede realizarse automáticamente mediante herramientas de software. Adicionalmente, esta metodología puede ser usada para validar propiedades sobre los diseños utilizando el Alloy Analyzer. Para finalizar, mostramos la aplicación a un caso de estudio de Darwin Tool, una herramienta que implementa parte de esta traducción.

Notes

II Workshop de Ingeniería de Software y Bases de Datos (WISBD)

General information

Exposure date: octubre 2005
Issue date: octubre 2005
Document language: Spanish
Event: XI Congreso Argentino de Ciencias de la Computación
Origin: Red de Universidades con Carreras en Informática (RedUNCI)
xmlui.dri2xhtml.METS-1.0.item-dc-subject: Formal methods ; Object-oriented languages
Subjects: Ciencias Informáticas

Download Files

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

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