Normal view MARC view ISBD view

Verifying BON models with alloy

By:

Demasi, Ramiro

Contributor(s):

Material type: Article

ArticlePublication details: ref_localidad@NULL : , 2005Description: 1 archivo (333,4 kB)Subject(s):

Online resources:

Summary: In this paper we describe a methodology to trans- late BON (architectural) designs to Alloy specifi- cations. 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 mod- els. Allowing, in this way, the finding of criti- cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0607 (Browse shelf(Opens below))	Available		DIF-A0607

Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0604 Cyclic evolution : a new strategy for improving controllers obtained by layered evolution	A0605 Analysis of web based learning use in a first course of algorithmics	A0606 Dynamic load balancing in parallel processing on non-homogeneous clusters	A0607 Verifying BON models with alloy	A0608 Wavelets bases defined over tetrahedra	A0609 Fundamentos de cómputo paralelo y distribuido de altas prestaciones : construcción y evaluación de aplicaciones	A0610 Navigating between objects : lessons from an object-oriented framework perspective	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

In this paper we describe a methodology to trans- late BON (architectural) designs to Alloy specifi- cations. 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 mod- els. Allowing, in this way, the finding of criti- cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy

Journal of Computer Science & Technology, 5(4), pp. 292-298.

There are no comments on this title.

to post a comment.