Následující úryvek článku Wikipedie není podložen věrohodným zdrojem. Zkusíte ho dohledat?
Stisknutím tlačítka Chápu! můžete přejít na Wikipedii a úryvek opravit, tlačítkem Další! zobrazíte jiný úryvek. Ať se daří!
V článku Návrh podle kontraktu:
"Mnoho programovacích jazyků má nástroje pro vytváření takovýchto tvrzení (asercí). DbC však považuje tyto kontrakty za natolik zásadní pro korektnost softwaru, že by měly být součástí procesu návrhu. DbC v podstatě prosazuje, aby se nejprve napsala tvrzení.[zdroj?] Kontrakty mohou být zapsány pomocí komentářů v kódu, vynuceny sadou testů nebo obojím, a to i v případě, že by pro kontrakty neexistovala žádná speciální jazyková podpora.
Můžete si přizpůsobit Citation Hunt poskytnutím seznamu článků. To Vám poskytne odkaz, který můžete sdílet s ostatními, takže si budou prohlížet pouze články, které jste poskytli.
Jak byste chtěli vytvořit vlastní Citation Hunt?
Použite vyhledávací oknu níže na vyhledání článku do Vašeho Citation Hunt. Článek můžete odstranit kliknutím na něj v náhledu níže.
Zadejte prosím názvy článků z Wikipedie k importu, jeden název na řádek:
PetScan je nástroj pro vyhledávání na Wikipedii a definování seznamů článků. PetScan přiřazuje dotazům ID, takže jejich výsledky lze importovat do jiných nástrojů.
Prosím vytvořte svůj dotaz v PetScan a vložte jeho ID níže:
Soubor stránek je nástroj pro definování seznamů článků na Wikipedii. Soubor stránek přiřazuje seznamům ID, aby bylo možné jejich výsledky importovat do jiných nástrojů.
Vytvořte si prosím seznam v souboru stránek a vložte jeho ID níže:
Čekojte prosím, probíhá vytváření Vašeho Citation Hunt. Může to trvat několik minut…
Můžete stisknout Zpět nebo zavřít toto dialogové okno pro zrušení.
Váš vlastní Citation Hunt byl vytvořen!
Uvedený odkaz výše můžete zkopírovat a sdílet, aby ho mohli používat i ostatní, nebo jej začít prohlížet ihned!
Omlouváme se, ale váš vlastní Citation Hunt se nepodařilo vytvořit nebo byl prázdný!
Zkuste to prosím znovu a použijte následující rady: