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
Otros Autores: Frias, Marcelo Fabián
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 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
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesis&d=tesis_n4113_LopezPombo_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares