Next: Crítica
Up: Introducción
Previous: Ejemplos
Índice General
Enfocamos solamente en programas escritos en lenguajes imperativos
con concurrencia, comunicación y sincronización explícita.
Como cualquier otra tarea de programación estamos confrontados
con los problemas de
- la especificación del programa,
- el diseño del programa,
- la codificación del programa, y
- la verificación del programa.
© 2001, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática