Popis přirozeného jazyka, případně doplněný matematickými argumenty, prokazující korespondenci funkční specifikace s vysokou úrovní designu.
