Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos

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 formal para desarrollar herramientas CASE. Sólo los desarrolladores deberían usar el formalis...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cengia, Javier Andrés
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Software
Computer-aided software engineering (CASE)
Software process models (e.g., CMM, ISO, PSP)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3903
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares