Utilizando contratos de reuso con alloy
El desarrollo de sistemas de software confiables exige la utilización de herramientas que posibiliten razonar rigurosamente acerca de su corrección y consistencia. Este tipo de análisis revela su importancia crítica cuando los sistemas evolucionan en el tiempo, sufriendo modificaciones que pueden al...
Guardado en:
| Autores principales: | Castro, Pablo Francisco, Baum, Gabriel Alfredo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23258 |
| Aporte de: |
Ejemplares similares
-
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
por: Baum, Gabriel Alfredo, et al.
Publicado: (2002) -
E-Machines
por: Castro, Pablo Francisco, et al.
Publicado: (2002) -
Verifying BON models with alloy
por: Demasi, Ramiro Adrián, et al.
Publicado: (2005) -
A UML profile to model classifier refinements
por: Correa, Natalia, et al.
Publicado: (2005) -
Framework de evaluación para modelos formales de patrones de diseño
por: Flores, Andrés P., et al.
Publicado: (2003)