No já nevím. Co mám zkušenosti s podobných situací, tak v 95% není na vině (ne)formálnost jazyka, ve kterém se zadání píše, ale prostý fakt, že zadavatel něco považuje za "samozřejmé", takže to do zadání nenapíše a pak se diví, když to v aplikaci není. A tomu formální jazyk moc nepomůže, maximálně tím, že zadavatele donutí napsat zadání detailněji.