Verificando diseños BON mediante Alloy

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 s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Formal methods
Object-oriented languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23067
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23067
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Formal methods
Object-oriented languages
spellingShingle Ciencias Informáticas
Formal methods
Object-oriented languages
Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
Verificando diseños BON mediante Alloy
topic_facet Ciencias Informáticas
Formal methods
Object-oriented languages
description 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.
format Objeto de conferencia
Objeto de conferencia
author Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
author_facet Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
author_sort Castro, Pablo Francisco
title Verificando diseños BON mediante Alloy
title_short Verificando diseños BON mediante Alloy
title_full Verificando diseños BON mediante Alloy
title_fullStr Verificando diseños BON mediante Alloy
title_full_unstemmed Verificando diseños BON mediante Alloy
title_sort verificando diseños bon mediante alloy
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/23067
work_keys_str_mv AT castropablofrancisco verificandodisenosbonmediantealloy
AT ponziopablodaniel verificandodisenosbonmediantealloy
AT demasiramiroadrian verificandodisenosbonmediantealloy
AT baumgabrielalfredo verificandodisenosbonmediantealloy
bdutipo_str Repositorios
_version_ 1764820468081098752

Ejemplares similares