Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Programowanie kontraktowe

Indeks Programowanie kontraktowe

Programowanie kontraktowe (ang. Design by contract, DbC) – w programowaniu, metoda organizowania kodu źródłowego programu, polegająca na takim ułożeniu go, aby nie tylko było jasne, jak program ma działać, lecz także, aby można było zweryfikować istnienie określonych założeń dotyczących konkretnych elementów programu (funkcje, struktury, klasy, moduły, itp.). Programowanie kontraktowe jest wymarłym określeniem, które jest niczym innym jak opisaniem procesu wykorzystania weryfikacji i walidacji danych.

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 »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »