Verifying BON models with alloy

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

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Demasi, Ramiro Adrián et al

Editore

SEDICI UNLP

Anno

2005

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

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

Come citare

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

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Verifying BON models with alloy

Autore / collaboratori: Demasi, Ramiro Adrián et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2005

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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