Verifying BON models with alloy
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 differe...
Guardado en:
| Autores principales: | Demasi, Ramiro Adrián, Ponzio, Pablo Daniel, Castro, Pablo Francisco, Baum, Gabriel Alfredo |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9607 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdf |
| Aporte de: |
Ejemplares similares
-
Verificando diseños BON mediante Alloy
por: Castro, Pablo Francisco, et al.
Publicado: (2005) -
Utilizando contratos de reuso con alloy
por: Castro, Pablo Francisco, et al.
Publicado: (2001) -
Distributed enterprise modelling guided by business rules
por: Di Paolo, Nahuel, et al.
Publicado: (2002) -
Tool support for verifying applications using object-oriented patterns
por: Aranda, Gabriela N., et al.
Publicado: (2002) -
Formal foundations for the unified modeling language
por: Funes, Ana, et al.
Publicado: (2003)