[30] Já jsem nepsal o tom, že z kontraktů vzejde TDD, to je samozřejmě úplně jiný přístup k vývoji SW. Nemyslím si, že by bylo nutné spouštět analyzátor tak často, aby bylo nutné řešit, zda bude trvat 2 sekundy nebo půl minuty. Kromě toho i syntaktickou analýzu lze dělat inkrementálně, ale jak říkám, vývoj typu napíšu jednu metodu, otestuju, přidám řádek, otestuju, je trochu jiný přístup.
Mimochodem, ten dokument, který jsem vzpomínal, je i volně přístupný, jak jsem zjistil. Takže pokud by měl někdo zájem, může se podívat sem: http://dev.eiffel.com/CddBranch