Verificación formal y refinamientos en P/PML

En el contexto de las aplicaciones industriales, existen distintos métodos formales propuestos que permiten el modelado de los elementos de este tipo de sistemas. La lógica P/PML (Product/Process Modeling Logic) es un método formal desarrollado para la especificación y construcción de sistemas indus...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Díaz, Javier Roberto
Otros Autores: Baum, Gabriel Alfredo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
verificación formal
Verification
lógica de programacion
Software
derivación de programas
métodos formales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/66376
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares