11 vzťahy: Dátový typ, Dokumentácia, Hoareova logika, Invariant, Komponent, LIFO, Metodológia, Objektovo orientované programovanie, Rozhranie (interface), Trieda (programovanie), Zmluva.
Dátový typ
Údajový typ je spojenie oblastí hodnôt a operácií v jeden celok.
Nový!!: Design by contract a Dátový typ · Pozrieť viac »
Dokumentácia
Dokumentácia môže byť.
Nový!!: Design by contract a Dokumentácia · Pozrieť viac »
Hoareova logika
Hoareova logika alebo Floydova-Hoareova logika je formálny systém logických pravidiel používaný pri verifikácii počítačových programov.
Nový!!: Design by contract a Hoareova logika · Pozrieť viac »
Invariant
Invariant môže byť.
Nový!!: Design by contract a Invariant · Pozrieť viac »
Komponent
Komponent môže byť.
Nový!!: Design by contract a Komponent · Pozrieť viac »
LIFO
LIFO môže byť.
Nový!!: Design by contract a LIFO · Pozrieť viac »
Metodológia
Metodológia je náuka o metóde, možnostiach metód a ich aplikácie na vedecký výskum.
Nový!!: Design by contract a Metodológia · Pozrieť viac »
Objektovo orientované programovanie
Objektovo orientované programovanie alebo objektové programovanie (skratka OOP, z) je programovacia paradigma založená na používaní dátových štruktúr nazývaných objekty a ich interakcie na vývoj aplikácií.
Nový!!: Design by contract a Objektovo orientované programovanie · Pozrieť viac »
Rozhranie (interface)
Rozhranie (iné názvy: medzistyk, interfejs, interface) je v širšom zmysle miesto interakcie dvoch systémov alebo častí systémov, v užšom zmysle sa definuje napríklad ako spoločná hranica dvoch funkčných jednotiek, definovaná funkčnými vlastnosťami, signálovými vlastnosťami alebo inými vhodnými vlastnosťami.
Nový!!: Design by contract a Rozhranie (interface) · Pozrieť viac »
Trieda (programovanie)
Trieda je základným stavebným prvkom v objektovo orientovanom programovaní.
Nový!!: Design by contract a Trieda (programovanie) · Pozrieť viac »
Zmluva
Zmluva (do roku 1953: smluva) alebo kontrakt je zložený právny úkon, na vznik ktorého treba spravidla aspoň dva prejavy vôle, resp.
Nový!!: Design by contract a Zmluva · Pozrieť viac »