Next: Crítica
Up: Introducción
Previous: Ejemplos
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.
© 2003, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática