Diseño y construcción de programas mediante CSP

En este artículo presentamos, a través de un caso de estudio, el desarrollo de programas paralelos mediante métodos formales. El caso de estudio es el núcleo básico de un sistema operativo multitarea, y el método formal utilizado es la teoría de procesos secuenciales comunicantes, CSP. CSP es una te...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguilar Cornejo, Manuel, Ruiz Barradas, Hector
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
programación
CSP
programación paralela
teoría de programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23959
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares