1.2. Especificaciones informales.
Operación <nombre> (ent ident: tipo..., sal ident: tipo ...)
Requiere: establece restricciones de uso.
Modifica: identifica los datos de entrada que se modifican.
Calcula: descripción textual del comportamiento de la operación.
1.2.1. Abstracciones funcionales.