| Título: | Verificando diseños BON mediante Alloy |
| Autores: |
Castro, Pablo Francisco Ponzio, Pablo Daniel Demasi, Ramiro Adrián Baum, Gabriel Alfredo |
| Fecha: |
2012-10-26 2005-10 2005-10 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
Formal methods Object-oriented languages Ciencias Informáticas |
| Descripción: |
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. II Workshop de Ingeniería de Software y Bases de Datos (WISBD) |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |