Darwin: una herramienta para verificar diseños arquitecturales
En este trabajo presentamos una herramienta que permite a los ingenieros de software realizar ciertas verificaciones sobre diseños arquitecturales. Esta herramienta, llamada Darwin, utiliza como lenguaje de modelado la notación BON, en cuanto las verificaciones son realizadas por medio del lenguaje...
Guardado en:
| Autores principales: | Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21121 |
| Aporte de: |
Ejemplares similares
-
Herramienta para automatizar la evaluación de la usabilidad en productos software
por: Mascheroni, Maximiliano Agustín, et al.
Publicado: (2012) -
Una herramienta para la evaluación de sistemas
por: Dasso, Aristides, et al.
Publicado: (2001) -
Herramienta para la Gestión de Riesgos en proyectos de software
por: Bertone, Rodolfo Alfredo, et al.
Publicado: (2010) -
Herramientas computacionales avanzadas para la gestión integrada de la cadena de suministro
por: Galli, María Rosa, et al.
Publicado: (2001) -
Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
por: Gómez González, Raúl, et al.
Publicado: (1997)