Takže všechny problémy SW inženýrství se kterými se obor potýká prakticky od začátku (no dobře, tak ne všechny, ale jeden z hlavních) vyřeší nová zázračná věc.
Ja myslim, ze jo. Ale trochu bych Davkola opravil, to co popisuji neni az tak stara vec, i kdyz je pravda, ze je to jen jeden ze zpusobu aplikaci formalnich metod, o co se lide snazi uz odpradavna.
A pro těchto pár let je do té role vybráno.... chvíle pro napětí... FUNKCIONÁLNÍ.....začátek aplausu..... PROGRAMOVÁNÍ..... aplaus pokračuje.
Samozrejme, muzes se pokusit pochopit, proc to povazuji za natolik nadejne. Ale chapu, ze po vsech tech prescasech je jednodussi nad tim proste moc nepremyslet, a radeji to shodit ze stolu.
Ja celkem rad veci vysvetluji, ale v tehle atmosfere.. Vidim, ze tady jsou lide, kteri tusi, o cem mluvim, a proc by to mohlo pomoci. Na druhou stranu, lide, kteri zjevne netusi, o cem mluvim, tomu nechteji rozumet.