15 kontakty: D (język programowania), Eiffel (język programowania), Java, Język angielski, Klasa (programowanie obiektowe), Kod źródłowy, Moduł (informatyka), Podprogram, Program komputerowy, Programowanie obiektowe, Struktura (programowanie), Test jednostkowy, Weryfikacja i walidacja (oprogramowanie), Wyjątek, Znak towarowy.
D (język programowania)
Język D – wieloparadygmatowy język programowania umożliwiający programowanie obiektowe, imperatywne oraz metaprogramowanie.
Nowy!!: Programowanie kontraktowe i D (język programowania) · Zobacz więcej »
Eiffel (język programowania)
Eiffel – statycznie typowany, obiektowy język programowania opisywany w książkach Bertranda Meyera m.in.
Nowy!!: Programowanie kontraktowe i Eiffel (język programowania) · Zobacz więcej »
Java
Java (wym. dżawa) – współbieżny, oparty na klasach, obiektowy język programowania ogólnego zastosowania.
Nowy!!: Programowanie kontraktowe i Java · Zobacz więcej »
Język angielski
Wielkiej Brytanii symbolizujące język angielski ikona symbolizująca język angielski według standardu ISO 639-1 Język angielski, angielszczyzna (ang.) – język z grupy zachodniej rodziny języków germańskich, powszechnie używany w Wielkiej Brytanii, jej terytoriach zależnych oraz w wielu byłych koloniach i dominiach, m.in.
Nowy!!: Programowanie kontraktowe i Język angielski · Zobacz więcej »
Klasa (programowanie obiektowe)
Klasa – częściowa lub całkowita definicja dla obiektów.
Nowy!!: Programowanie kontraktowe i Klasa (programowanie obiektowe) · Zobacz więcej »
Kod źródłowy
Kod źródłowy – szczegółowe instrukcje programu komputerowego za pomocąokreślonego języka programowania, opisujące operacje, jakie powinien wykonać komputer na zgromadzonych lub otrzymanych danych.
Nowy!!: Programowanie kontraktowe i Kod źródłowy · Zobacz więcej »
Moduł (informatyka)
Moduł, pakiet – oddzielny twór, przeważnie w postaci osobnego pliku, zawierający zdefiniowany interfejs, a także implementacje typów wartości, klas, zmiennych, stałych oraz treści procedur i funkcji.
Nowy!!: Programowanie kontraktowe i Moduł (informatyka) · Zobacz więcej »
Podprogram
Podprogram (inaczej funkcja lub procedura) – termin związany z programowaniem proceduralnym.
Nowy!!: Programowanie kontraktowe i Podprogram · Zobacz więcej »
Program komputerowy
Program komputerowy (ang. computer program) – sekwencja symboli opisująca realizowanie obliczeń zgodnie z pewnymi regułami zwanymi językiem programowania.
Nowy!!: Programowanie kontraktowe i Program komputerowy · Zobacz więcej »
Programowanie obiektowe
Programowanie obiektowe (ang. object-oriented programming, OOP) – paradygmat programowania, w którym programy definiuje się za pomocąobiektów – elementów łączących stan (czyli dane, nazywane najczęściej atrybutami) i zachowanie (czyli procedury, tu: metody).
Nowy!!: Programowanie kontraktowe i Programowanie obiektowe · Zobacz więcej »
Struktura (programowanie)
Struktura lub rekord — to złożony typ danych występujący w wielu językach programowania, grupujący logicznie powiązane ze sobądane różnego typu w jednym obszarze pamięci.
Nowy!!: Programowanie kontraktowe i Struktura (programowanie) · Zobacz więcej »
Test jednostkowy
Test jednostkowy – metoda testowania tworzonego oprogramowania poprzez wykonywanie testów weryfikujących poprawność działania pojedynczych elementów (jednostek) programu – np.
Nowy!!: Programowanie kontraktowe i Test jednostkowy · Zobacz więcej »
Weryfikacja i walidacja (oprogramowanie)
Weryfikacja i walidacja oprogramowania − inaczej kontrola jakości oprogramowania lub testy oprogramowania.
Nowy!!: Programowanie kontraktowe i Weryfikacja i walidacja (oprogramowanie) · Zobacz więcej »
Wyjątek
Wyjątek - mechanizm przepływu sterowania używany w procesorach oraz współczesnych językach programowania do obsługi zdarzeń wyjątkowych, a w szczególności błędów, których wystąpienie zmienia prawidłowy przebieg wykonywania programu.
Nowy!!: Programowanie kontraktowe i Wyjątek · Zobacz więcej »
Znak towarowy
Znak towarowy Znak towarowy – każde oznaczenie, które nadaje się do odróżnienia towarów jednego przedsiębiorcy od towarów innego przedsiębiorcy i jest możliwe do przedstawienia w rejestrze znaków towarowych w sposób pozwalający na ustalenie jednoznacznego i dokładnego przedmiotu udzielonej ochrony.
Nowy!!: Programowanie kontraktowe i Znak towarowy · Zobacz więcej »