Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Tesis
Material complementario disponible
Tesis
SEDICI UNLP
Una de las claves para el éxito de la formalización propuesta reside en ocultar la notación matemática tanto como sea posible tras la notación gráfica. Por ejemplo, debería ser posible utilizar la semántica forma...
Idioma es
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario