Next: Crítica
Up: Procesos
Previous: Ejemplos no tan clásicos
Índice General
Nos enfocamos solamente a programas escritos en lenguajes imperativos
con concurrencia, comunicación, y sincronización explícita.
Como cualquier otra tarea de programación nos enfrentamos a
los problemas de
- la especificación del programa,
- el diseño del programa,
- la codificación del programa, y
- la verificación del programa.
© 2005, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática