Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas

Mostrar todas las versiones(3)

Las lógicas han sido usadas como sistemas formales para especificar sistemas de software. Más aun, las especificaciones lógicas, por ser formales, contribuyen en la aplicación de métodos técnicas correctas de verificación. Diversos formalismos han sido desarrollados para lidiar con estos aspectos y...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: López Pombo, Carlos Gustavo
Formato: Tesis Doctoral
Lenguaje:Inglés
Publicado: 2007
Materias:
INSTITUCIONES
ESPECIFICACIONES HETEROGENEAS
ALGEBRAS DE FORK
METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION
INSTITUTIONS
HETEROGENEOUS SPECIFICATIONS
FORK ALGEBRA
RELATIONAL METHODS IN COMPUTER SCIENCE
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n4113_LopezPombo
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares