News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Artículo

Verifying BON models with alloy

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

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Demasi, Ramiro Adrián et al
Publisher
SEDICI UNLP
Year
2005
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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

How to cite

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 7 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Verifying BON models with alloy
Author / contributors
Demasi, Ramiro Adrián et al
Publisher
SEDICI UNLP
Publication year
2005
Language
English

Subjects

Explore related resources through these subjects.

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