Существуют ли средства/метаязыки/методологии, которые основывались на реификации естественного языка? Т.е. я говорю, что: "Функция суммирования массива должна возврщать сумму всех элементов массива". Потом при помощи этого средства описываю, что:

1. "функция суммирования массива" это
   

   function sum(int[] array)

   
   
2. "должна возвращать" это
   

   return result

   
   
3. "всех элементов массива" это
   

   for (int i=0; i<array.length; i++) el=array[i]

   
   
4. "сумма", в данном контексте, это
   

   int result=0; .... result += el

Потом выставляю позиции. А средство хранит взаимозначность, и выдает либо постановку задачи на естественном языке, либо код программы.
Что я изобретаю?