7 vztahy: Invariant (informatika), Komentář (programování), Překladač, Predikátová logika prvního řádu, Programovací jazyk, Programování, Testování softwaru.
Invariant (informatika)
Invariant je podmínka v algoritmu, která musí být splněna po celou dobu běhu programu.
Nový!!: Aserce a Invariant (informatika) · Vidět víc »
Komentář (programování)
Komentáře jsou v informatice součásti syntaktických pravidel zápisu programu v mnoha programovacích jazycích.
Nový!!: Aserce a Komentář (programování) · Vidět víc »
Překladač
Příklad struktury překladače podporujícího dva vstupní jazyky i dvě cílové architektury Překladač (též kompilátor, nebo také z – sestavit, zpracovat) je v nejčastějším smyslu slova softwarový nástroj používaný programátory pro vývoj softwaru.
Nový!!: Aserce a Překladač · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Aserce a Predikátová logika prvního řádu · Vidět víc »
Programovací jazyk
Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.
Nový!!: Aserce a Programovací jazyk · Vidět víc »
Programování
Programování je v informatice proces od návrhu řešení problému pomocí výpočetní techniky ke spustitelnému počítačovému programu.
Nový!!: Aserce a Programování · Vidět víc »
Testování softwaru
Testování softwaru je empirický technický výzkum kvality testovaného produktu nebo služby prováděný za účelem poskytnout získané informace všem zainteresovaným (.
Nový!!: Aserce a Testování softwaru · Vidět víc »