Verifying BON models with alloy

Demasi, Ramiro Adrián et al · SEDICI UNLP · 2005

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Demasi, Ramiro Adrián et al

Editorial

SEDICI UNLP

Año

2005

Idioma

en

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.
Facultad de Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Demasi, R. A. E. A. (2005). Verifying BON models with alloy. http://sedici.unlp.edu.ar/handle/10915/9607

MLA

Demasi, Ramiro Adrián et al. "Verifying BON models with alloy." 2005. http://sedici.unlp.edu.ar/handle/10915/9607.

Chicago

Demasi, Ramiro Adrián et al. 2005. "Verifying BON models with alloy.". http://sedici.unlp.edu.ar/handle/10915/9607.

Harvard

Demasi, R. A. E. A. 2005, Verifying BON models with alloy, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9607 [Accessed 25 Jun. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Verifying BON models with alloy

Autor / colaboradores: Demasi, Ramiro Adrián et al

Editorial: SEDICI UNLP

Año de publicación: 2005

Idioma: en

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; formal methods; object oriented languages; architectural models; SOFTWARE ENGINEERING