Proporcionan un contrato escrito que el trozo de código debe satisfacer.