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

Ejemplares similares

Ejemplares similares