Las unidades básicas de especificación y programación son los módulos.