Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2008-05-26T17:00:10Z
dc.date.available 2008-05-26T03:00:00Z
dc.date.issued 2005-12
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/9607
dc.description.abstract 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. en
dc.format.extent 292-298 es
dc.language en es
dc.subject formal methods en
dc.subject SOFTWARE ENGINEERING es
dc.subject object oriented languages en
dc.subject architectural models en
dc.title Verifying BON models with alloy en
dc.type Articulo es
sedici.identifier.uri http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdf es
sedici.identifier.issn 1666-6038 es
sedici.creator.person Demasi, Ramiro Adrián es
sedici.creator.person Ponzio, Pablo Daniel es
sedici.creator.person Castro, Pablo Francisco es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc/3.0/
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000641 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 5, no. 4 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (325.6Kb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)