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

Ada (język programowania)

Indeks Ada (język programowania)

Ada – strukturalny, kompilowany, imperatywny, statycznie typowany i obiektowy język programowania opracowany przez Jean Ichbiaha i zespół z CII Honeywell Bull w latach 70.

93 kontakty: Ada, Ada Lovelace, AdaCore, Argument (informatyka), Argument domyślny, Atrybut rozmieszczenia, Bezpieczeństwo teleinformatyczne, Biblioteka Inżynierii Oprogramowania, C++, CHILL, Common Lisp, Działanie algebraiczne, Funkcja anonimowa, GNAT, GNAT Modified General Public License, GNOME, GNU, GNU Compiler Collection, GNU Visual Debugger, GTK, HLA (język programowania), Inicjalizacja zmiennej, Instrukcja opuszczenia, Instrukcja warunkowa, Instrukcja wyboru, Instrukcja wywołania, Instrukcja zagnieżdżona, Intel i960, Intel iAPX 432, KDevelop, Kod bajtowy Javy, Kompletność Turinga, Konkatenacja, Krok (programowanie), Kropka, Liczba, Linda (język programowania), Lista języków programowania, Literał liczbowy, Literał tablicowy, LLVM, Message Passing Interface, MinGW, Modulo, Moti Ben-Ari, Nawias syntaktyczny, Operator bitowy, Operator logiczny, Operator relacji, Operator rozmiaru, ..., Pętla (informatyka), Pętla foreach, Pętla iteracyjna, Pętla nieskończona, Pętla ogólna, Pętla repetycyjna, PL/SQL, Podprogram, Podprogram zagnieżdżony, Podtyp (programowanie), Pole znacznikowe, Polimorfizm (informatyka), Potęgowanie, Printf, Programowanie imperatywne, Programowanie modularne, Programowanie obiektowe, Protokół (programowanie obiektowe), Przeciążanie funkcji, Przeciążanie operatorów, Przemianowanie (programowanie), Przetwarzanie współbieżne, Qt, Rekord z wariantami, Słowo zastrzeżone, Selekcja (programowanie), Simple DirectMedia Layer, SPARK (informatyka), Sprawdzanie zakresu, TGV, Transmission Voie-Machine, Twierdzenie o dzieleniu z resztą, Typ bazowy, Typ okrojony, Typowanie statyczne, Umbrello, Unified Modeling Language, VHDL, Visual Basic .NET, Worse is Better, Xcode, Zakres (programowanie), Zmienna sterująca. Rozwiń indeks (43 jeszcze) »

Ada

* Ada – imię żeńskie.

Nowy!!: Ada (język programowania) i Ada · Zobacz więcej »

Ada Lovelace

Augusta Ada King, hrabina Lovelace (ur. 10 grudnia 1815, zm. 27 listopada 1852) – brytyjska matematyczka i poetka, znana przede wszystkim z publikacji na temat mechanicznego komputera Charlesa Babbage’a, zwanego maszynąanalityczną.

Nowy!!: Ada (język programowania) i Ada Lovelace · Zobacz więcej »

AdaCore

AdaCore – przedsiębiorstwo tworzące oprogramowania komputerowe.

Nowy!!: Ada (język programowania) i AdaCore · Zobacz więcej »

Argument (informatyka)

Argument (parametr aktualny), w informatyce, to element składni w określonym języku programowania, który w wyniku wywołania podprogramu, zostaje utożsamiony (skojarzony) z określonym parametrem podprogramu.

Nowy!!: Ada (język programowania) i Argument (informatyka) · Zobacz więcej »

Argument domyślny

Argument domyślny – domyślna wartość argumentu – to wartość typu zgodnego z typem pewnego parametru, zdefiniowana przez programistę w deklaracji podprogramu, która zostanie użyta jako argument (parametr aktualny), przypisany do danego parametru (parametru formalnego), w przypadku, gdy w wywołaniu danego podprogramu, nie zostanie wyspecyfikowany argument dla pewnego parametru.

Nowy!!: Ada (język programowania) i Argument domyślny · Zobacz więcej »

Atrybut rozmieszczenia

Atrybut rozmieszczenia zmiennej w pamięci – atrybut nadawany zmiennej w kodzie źródłowym, modyfikujący sposób rozmieszczenia przez translator danej zmiennej w pamięci operacyjnej.

Nowy!!: Ada (język programowania) i Atrybut rozmieszczenia · Zobacz więcej »

Bezpieczeństwo teleinformatyczne

Q.

Nowy!!: Ada (język programowania) i Bezpieczeństwo teleinformatyczne · Zobacz więcej »

Biblioteka Inżynierii Oprogramowania

Biblioteka Inżynierii Oprogramowania (BIO) to seria wydawnicza książek z zakresu informatyki i zagadnień pokrewnych, wydawana od końca lat siedemdziesiątych do początku lat dziewięćdziesiątych XX w. przez Wydawnictwa Naukowo-Techniczne (WNT).

Nowy!!: Ada (język programowania) i Biblioteka Inżynierii Oprogramowania · Zobacz więcej »

C++

C++ – język programowania ogólnego przeznaczenia.

Nowy!!: Ada (język programowania) i C++ · Zobacz więcej »

CHILL

CHILL - skrót od CCITT High Level Programming Language.

Nowy!!: Ada (język programowania) i CHILL · Zobacz więcej »

Common Lisp

Common Lisp (często skracane do CL) – dialekt języka programowania Lisp, stworzony przez ANSI (X3.226-1994) jako specyfikacja, nie implementacja.

Nowy!!: Ada (język programowania) i Common Lisp · Zobacz więcej »

Działanie algebraiczne

Działanie algebraiczne (operacja algebraiczna) – przyporządkowanie jednemu lub większej liczbie elementów (nazywanych argumentami lub operandami) jednego elementu (nazywanego wynikiem).

Nowy!!: Ada (język programowania) i Działanie algebraiczne · Zobacz więcej »

Funkcja anonimowa

Funkcja anonimowa (również literał funkcyjny lub lambda-abstrakcja) – definicja funkcji, która sama w sobie nie jest powiązana z identyfikatorem (chociaż może być przypisana do zmiennej).

Nowy!!: Ada (język programowania) i Funkcja anonimowa · Zobacz więcej »

GNAT

Zrzut ekranu, środowiska kompilatora GNAT GNAT (GNU Ada Translator) – kompilator języka programowania Ada oparty na GCC.

Nowy!!: Ada (język programowania) i GNAT · Zobacz więcej »

GNAT Modified General Public License

GNAT Modified General Public License (w skrócie: Modified GPL, GMGPL) jest wersjąGPL specyficznie zmodyfikowanąz powodu szablonowości obecnej w języku programowania Ada.

Nowy!!: Ada (język programowania) i GNAT Modified General Public License · Zobacz więcej »

GNOME

GNOME – graficzne środowisko użytkownika oparte na systemie X Window System oraz widżetach GTK+ i GDK.

Nowy!!: Ada (język programowania) i GNOME · Zobacz więcej »

GNU

GNU (rekurencyjny akronim od,, wymowa) – uniksopodobny system operacyjny złożony wyłącznie z wolnego oprogramowania.

Nowy!!: Ada (język programowania) i GNU · Zobacz więcej »

GNU Compiler Collection

GNU Compiler Collection (GCC) – zestaw kompilatorów o otwartym kodzie źródłowym rozwijany w ramach Projektu GNU.

Nowy!!: Ada (język programowania) i GNU Compiler Collection · Zobacz więcej »

GNU Visual Debugger

GNU Visual Debugger (GVD) – wizualny debugger.

Nowy!!: Ada (język programowania) i GNU Visual Debugger · Zobacz więcej »

GTK

GTK, wcześniej: The GIMP Toolkit, GTK+ – biblioteka służąca do tworzenia interfejsu graficznego do programów komputerowych.

Nowy!!: Ada (język programowania) i GTK · Zobacz więcej »

HLA (język programowania)

HLA (ang. High Level Assembl/y/er) – język programowania stworzony przez Randall Hyde’a.

Nowy!!: Ada (język programowania) i HLA (język programowania) · Zobacz więcej »

Inicjalizacja zmiennej

Inicjalizacja zmiennej to konstrukcja programistyczna polegająca na nadaniu zmiennej wartości początkowej.

Nowy!!: Ada (język programowania) i Inicjalizacja zmiennej · Zobacz więcej »

Instrukcja opuszczenia

Instrukcja opuszczenia (instrukcja zaniechania, instrukcja wyjścia z bloku) – instrukcja w danym języku programowania powodująca wyjście z określonej instrukcji strukturalnej.

Nowy!!: Ada (język programowania) i Instrukcja opuszczenia · Zobacz więcej »

Instrukcja warunkowa

Instrukcja warunkowa – element języka programowania, który pozwala na wykonanie różnych instrukcji w zależności od tego czy zdefiniowane przez programistę wyrażenie logiczne jest prawdziwe, czy fałszywe.

Nowy!!: Ada (język programowania) i Instrukcja warunkowa · Zobacz więcej »

Instrukcja wyboru

Instrukcja wyboru, instrukcja decyzyjna – instrukcja w określonym języku programowania, umożliwiająca wybór instrukcji do wykonania spośród wielu opcji.

Nowy!!: Ada (język programowania) i Instrukcja wyboru · Zobacz więcej »

Instrukcja wywołania

Instrukcja wywołania jest to instrukcja, w danym języku programowania, powodująca wywołanie (i w konsekwencji wykonanie) określonego podprogramu.

Nowy!!: Ada (język programowania) i Instrukcja wywołania · Zobacz więcej »

Instrukcja zagnieżdżona

Instrukcja zagnieżdżona w programowaniu, to instrukcja zawarta w innej, zewnętrznej instrukcji strukturalnej.

Nowy!!: Ada (język programowania) i Instrukcja zagnieżdżona · Zobacz więcej »

Intel i960

Układ Intel i960 (inaczej 80960) jest mikroprocesorem o architekturze RISC, popularnym w początkach lat 90.

Nowy!!: Ada (język programowania) i Intel i960 · Zobacz więcej »

Intel iAPX 432

Intel iAPX432 (z ang. Intel Advanced Processor Architecture) – jeden z pierwszych 32-bitowych mikroprocesorów firmy Intel.

Nowy!!: Ada (język programowania) i Intel iAPX 432 · Zobacz więcej »

KDevelop

KDevelop – zintegrowane środowisko programistyczne przeznaczone dla środowiska KDE.

Nowy!!: Ada (język programowania) i KDevelop · Zobacz więcej »

Kod bajtowy Javy

Kod bajtowy Javy – lista instrukcji do wykonania przez wirtualnąmaszynę Javy (JVM).

Nowy!!: Ada (język programowania) i Kod bajtowy Javy · Zobacz więcej »

Kompletność Turinga

Kompletność Turinga – cecha systemu przetwarzającego dane lub języka programowania, polegająca na tym, że można za jego pomocąrozwiązać identycznąklasę problemów obliczeniowych, jak na uproszczonym modelu programowalnego komputera zwanego maszynąTuringa.

Nowy!!: Ada (język programowania) i Kompletność Turinga · Zobacz więcej »

Konkatenacja

Konkatenacja (łac. concatenatio) – łączenie ze sobąwyrażeń.

Nowy!!: Ada (język programowania) i Konkatenacja · Zobacz więcej »

Krok (programowanie)

Krok zmiennej sterującej, to w programowaniu konstrukcja programistyczna umożliwiająca zmianę wartości zmiennej sterującej o określonąprzez programistę wartość.

Nowy!!: Ada (język programowania) i Krok (programowanie) · Zobacz więcej »

Kropka

Kropka – oddzielający znak przestankowy, stawiany na końcu wypowiedzenia, będący wskazówkądla czytającego na głos, że należy zniżyć głos oraz zrobić przerwę.

Nowy!!: Ada (język programowania) i Kropka · Zobacz więcej »

Liczba

Liczby algebraiczne. Liczba – pojęcie abstrakcyjne, jedno z najczęściej używanych w matematyce.

Nowy!!: Ada (język programowania) i Liczba · Zobacz więcej »

Linda (język programowania)

Linda – język współpracujący z innymi językami programowania, wzbogacający je o możliwości tworzenia programów wykonywanych współbieżnie.

Nowy!!: Ada (język programowania) i Linda (język programowania) · Zobacz więcej »

Lista języków programowania

Bez opisu.

Nowy!!: Ada (język programowania) i Lista języków programowania · Zobacz więcej »

Literał liczbowy

Literał liczbowy – literał reprezentujący konkretnąwartość liczbowąwpisanąbezpośrednio w kod źródłowy tworzonej aplikacji.

Nowy!!: Ada (język programowania) i Literał liczbowy · Zobacz więcej »

Literał tablicowy

Literał tablicowy to literał reprezentujący w kodzie źródłowym konkretnąwartość, będącątablicąelementów.

Nowy!!: Ada (język programowania) i Literał tablicowy · Zobacz więcej »

LLVM

LLVM (poprzednio Low Level Virtual Machine) – napisany w C++ kompilator.

Nowy!!: Ada (język programowania) i LLVM · Zobacz więcej »

Message Passing Interface

Message Passing Interface (MPI, z ang., interfejs transmisji wiadomości) – protokół komunikacyjny będący standardem przesyłania komunikatów pomiędzy procesami programów równoległych działających na jednym lub więcej komputerach.

Nowy!!: Ada (język programowania) i Message Passing Interface · Zobacz więcej »

MinGW

MinGW (Minimalist GNU for Windows) – port GCC, dostarczający darmowe i otwarte środowisko oraz narzędzia pozwalające na kompilację natywnych plików wykonywalnych dla platformy Windows.

Nowy!!: Ada (język programowania) i MinGW · Zobacz więcej »

Modulo

ModuloEtym.

Nowy!!: Ada (język programowania) i Modulo · Zobacz więcej »

Moti Ben-Ari

Mordechai (Moti) Ben-Ari – profesor informatyki znany ze swojego wkładu w rozwój języka Ada.

Nowy!!: Ada (język programowania) i Moti Ben-Ari · Zobacz więcej »

Nawias syntaktyczny

Nawias syntaktyczny – w programowaniu, to element składni określonego języka programowania służący definiowaniu strukturalnych elementów kodu źródłowego, takich jak bloki czy instrukcje strukturalne.

Nowy!!: Ada (język programowania) i Nawias syntaktyczny · Zobacz więcej »

Operator bitowy

Operator bitowy w programowaniu – operator dostępny w określonym języku programowania (a także w innych językach komputerowych), który, działając na podanych argumentach, realizuje podstawowe operacje algebry Boole’a na pojedynczych bitach lub każdej parze odpowiadających sobie bitów pobieranych z tych samych pozycji dwóch argumentów operatora oraz operacje przesunięć lub obrotów bitowych.

Nowy!!: Ada (język programowania) i Operator bitowy · Zobacz więcej »

Operator logiczny

Operator logiczny w programowaniu – operator dostępny w określonym języku programowania (a także w innych językach komputerowych), który działając na argumentach reprezentujących wartości logiczne, w wyniku zwraca również wartość logiczną, realizując podstawowe operacje algebry Boole’a.

Nowy!!: Ada (język programowania) i Operator logiczny · Zobacz więcej »

Operator relacji

Operator relacji w programowaniu – operator dostępny w określonym języku programowania (a także w innych językach komputerowych), który działając na podanych argumentach, w wyniku zwraca wartość logiczną, określającąspełnienie bądź nie spełnienie reprezentowanej przez ten operator relacji zachodzącej między zapodanymi argumentami.

Nowy!!: Ada (język programowania) i Operator relacji · Zobacz więcej »

Operator rozmiaru

Operator rozmiaru – operator dostępny w określonym języku programowania, który działając na podanym argumencie, określa rozmiar (wielkość) wybranego elementu, wyrażony w wybranej jednostce miary, np.

Nowy!!: Ada (język programowania) i Operator rozmiaru · Zobacz więcej »

Pętla (informatyka)

C Pętla – jedna z trzech podstawowych konstrukcji programowania strukturalnego (obok instrukcji warunkowej i instrukcji wyboru).

Nowy!!: Ada (język programowania) i Pętla (informatyka) · Zobacz więcej »

Pętla foreach

Pętla foreach, pętla „po kolekcji” – w programowaniu rodzaj pętli, której wykonanie polega na powtarzaniu kolejnych iteracji dla wszystkich elementów (komórek) wybranego agregatu danych, takiego jak, np.

Nowy!!: Ada (język programowania) i Pętla foreach · Zobacz więcej »

Pętla iteracyjna

Pętla iteracyjna (pętla licznikowa) w programowaniu, to rodzaj pętli, w ramach której następuje wykonanie określonej liczby iteracji.

Nowy!!: Ada (język programowania) i Pętla iteracyjna · Zobacz więcej »

Pętla nieskończona

Pętla nieskończona to pętla, która nigdy nie zostanie zakończona, ponieważ nigdy nie zajdzie warunek zakończenia pętli.

Nowy!!: Ada (język programowania) i Pętla nieskończona · Zobacz więcej »

Pętla ogólna

Pętla ogólna to konstrukcja programistyczna stanowiąca jeden z rodzajów pętli, dostępna w niektórych językach programowania.

Nowy!!: Ada (język programowania) i Pętla ogólna · Zobacz więcej »

Pętla repetycyjna

Pętla repetycyjna (pętla warunkowa) w programowaniu, to rodzaj pętli, w której wykonanie kolejnej iteracji uzależnione jest od pewnego, zdefiniowanego przez programistę warunku.

Nowy!!: Ada (język programowania) i Pętla repetycyjna · Zobacz więcej »

PL/SQL

PL/SQL oznacza proceduralny SQL - rozszerzenie języka SQL umożliwiające tworzenie konstrukcji takich jak pętle, instrukcje warunkowe oraz zmienne.

Nowy!!: Ada (język programowania) i PL/SQL · Zobacz więcej »

Podprogram

Podprogram (inaczej funkcja lub procedura) – termin związany z programowaniem proceduralnym.

Nowy!!: Ada (język programowania) i Podprogram · Zobacz więcej »

Podprogram zagnieżdżony

Podprogram zagnieżdżony (podprogram lokalny, podprogram wewnętrzny) – w programowaniu konstrukcja programistyczna umożliwiająca tworzenie podprogramów zawartych w innych podprogramach, a więc o ograniczonym zasięgu widoczności.

Nowy!!: Ada (język programowania) i Podprogram zagnieżdżony · Zobacz więcej »

Podtyp (programowanie)

Podtyp – konstrukcja programistyczna umożliwiająca w określonym języku programowania definiowanie ograniczeń na pewnym typie bazowym.

Nowy!!: Ada (język programowania) i Podtyp (programowanie) · Zobacz więcej »

Pole znacznikowe

Pole znacznikoweNiklaus Wirth, Modula 2, Wydawnictwa Naukowo-Techniczne, Warszawa 1987, Seria: Biblioteka Inżynierii Oprogramowania, Michael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania,, pole wyróżnikowe, flaga, pole rozróżniające – specjalny rodzaj pola dostępny w rekordach z wariantami, które określa aktualnąpostać rekordu, tzn.

Nowy!!: Ada (język programowania) i Pole znacznikowe · Zobacz więcej »

Polimorfizm (informatyka)

Polimorfizm (z gr. wielopostaciowość) – mechanizmy pozwalające programiście używać wartości, zmiennych i podprogramów na kilka różnych sposobów.

Nowy!!: Ada (język programowania) i Polimorfizm (informatyka) · Zobacz więcej »

Potęgowanie

logarytmu naturalnego, a niebieskim przy podstawie 1,7 Potęgowanie – typ funkcji dwóch zmiennych, różnie definiowanych w różnych kontekstach; w najprostszych przypadkach – kiedy drugim argumentem tej funkcji jest liczba naturalna – potęgowanie to wielokrotne mnożenie elementu przez siebie.

Nowy!!: Ada (język programowania) i Potęgowanie · Zobacz więcej »

Printf

printf – rodzina funkcji służących do tworzenia i zapisywania tekstu na podstawie szablonu i zestawu argumentów, które sąw ten szablon wstawiane.

Nowy!!: Ada (język programowania) i Printf · Zobacz więcej »

Programowanie imperatywne

Programowanie imperatywne – paradygmat programowania, który opisuje proces wykonywania jako sekwencję instrukcji zmieniających stan programu.

Nowy!!: Ada (język programowania) i Programowanie imperatywne · Zobacz więcej »

Programowanie modularne

Programowanie modularne (ang. modular programming) − paradygmat programowania zalecający stosowanie nadrzędności modułów w stosunku do procedur i bloków tworzących program.

Nowy!!: Ada (język programowania) i Programowanie modularne · 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!!: Ada (język programowania) i Programowanie obiektowe · Zobacz więcej »

Protokół (programowanie obiektowe)

Protokół to termin używany przez zorientowane obiektowo języki programowania o różnych specyficznych znaczeniach, które w innych językach nazywane sąinterfejsem lub cechą.

Nowy!!: Ada (język programowania) i Protokół (programowanie obiektowe) · Zobacz więcej »

Przeciążanie funkcji

Przeciążanie funkcji (ang. overloading) – skrótowa nazwa na przeciążanie nazwy funkcji; w programowaniu występowanie pod takąsamąnazwąwielu funkcji różniących się zestawem argumentów.

Nowy!!: Ada (język programowania) i Przeciążanie funkcji · Zobacz więcej »

Przeciążanie operatorów

Przeciążanie operatorów (ang. operator overloading) lub przeładowanie operatorów – rodzaj polimorfizmu występującego w niektórych językach programowania, polegający na tym, że operator może mieć różne implementacje w zależności od typów użytych argumentów (operandów).

Nowy!!: Ada (język programowania) i Przeciążanie operatorów · Zobacz więcej »

Przemianowanie (programowanie)

PrzemianowanieA.

Nowy!!: Ada (język programowania) i Przemianowanie (programowanie) · Zobacz więcej »

Przetwarzanie współbieżne

Przetwarzanie współbieżne (ang. concurrent computing) – przetwarzanie oparte na współistnieniu wielu wątków lub procesów, operujących na współdzielonych danych.

Nowy!!: Ada (język programowania) i Przetwarzanie współbieżne · Zobacz więcej »

Qt

Qt – zestaw przenośnych bibliotek i narzędzi programistycznych dedykowanych dla języków C++, QML i Java.

Nowy!!: Ada (język programowania) i Qt · Zobacz więcej »

Rekord z wariantami

Rekord z wariantami jest to rodzaj rekordu, posiadającego tę właściwość, że zbiór rekordów posiada wspólny typ, lecz różnąpostać, określonąaktualnąwartościąspecjalnego pola znacznikowego.

Nowy!!: Ada (język programowania) i Rekord z wariantami · Zobacz więcej »

Słowo zastrzeżone

Słowo zastrzeżoneMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania, John E. Nicholls, Struktura języków programowania, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Informatyka, Andrzej Marciniak, Borland Pascal 7.0, Wyd.

Nowy!!: Ada (język programowania) i Słowo zastrzeżone · Zobacz więcej »

Selekcja (programowanie)

Selekcja w programowaniu, czyli odniesienie do składowej – zawarta w kodzie źródłowym operacja odniesienia (odwołania, selekcji, wyboru) do pewnej składowej struktury danychMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania,.

Nowy!!: Ada (język programowania) i Selekcja (programowanie) · Zobacz więcej »

Simple DirectMedia Layer

jądrem Linuksa a bibliotekąSDL Simple DirectMedia Layer (skrót: SDL) – biblioteka programistyczna ułatwiająca tworzenie gier oraz programów multimedialnych.

Nowy!!: Ada (język programowania) i Simple DirectMedia Layer · Zobacz więcej »

SPARK (informatyka)

SPARK Ada, SPARK 95 – podzbiór języka Ada zaprojektowany w celu tworzenia kodu wolnego od błędów dla zastosowania w systemach mission-critical.

Nowy!!: Ada (język programowania) i SPARK (informatyka) · Zobacz więcej »

Sprawdzanie zakresu

Sprawdzanie zakresu – każda metoda wykrywania czy nowa wartość zmiennej mieści się w zakresie zmiennej przed zapisem do niej, lub czy wartość która zostanie zaraz użyta jako indeks do tablicy jest w granicach tej tablicy.

Nowy!!: Ada (język programowania) i Sprawdzanie zakresu · Zobacz więcej »

TGV

Pociągi TGV na Gare de Lyon Wnętrze klasy II TGV – rodzaj francuskich elektrycznych zespołów trakcyjnych, osiągających w regularnej eksploatacji prędkości do 320 km/h.

Nowy!!: Ada (język programowania) i TGV · Zobacz więcej »

Transmission Voie-Machine

System TVM, Transmission Voie-Machine (z fr. Transmisja Tor-Pojazd) – francuski kabinowy system sterowania ruchem kolejowym.

Nowy!!: Ada (język programowania) i Transmission Voie-Machine · Zobacz więcej »

Twierdzenie o dzieleniu z resztą

Z podziału dziesięciu jabłek (''dzielna'') na trzy grupy (''iloraz'') po trzy jabłka (''dzielnik'') pozostaje jedno jabłko (''reszta''), nie tworzące pełnej (trójelementowej) grupy jabłek. Twierdzenie o dzieleniu z resztą– twierdzenie matematyczne mówiące o możliwości przedstawienia danej liczby całkowitej, dzielnej, w postaci sumy iloczynu ilorazu przez (niezerowy) dzielnik oraz reszty.

Nowy!!: Ada (język programowania) i Twierdzenie o dzieleniu z resztą · Zobacz więcej »

Typ bazowy

Typ bazowy (typ podstawowy, typ macierzysty, typ wyjściowy) – typ danych dostępny w danym języku programowania, z którego zostaje wyprowadzony nowy, np..

Nowy!!: Ada (język programowania) i Typ bazowy · Zobacz więcej »

Typ okrojony

Typ okrojony (typ zakresowy) – typ danych zdefiniowany na bazie innego typu, w celu ograniczenia możliwych wartości typu bazowegoMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania,.

Nowy!!: Ada (język programowania) i Typ okrojony · Zobacz więcej »

Typowanie statyczne

Typowanie statyczne – nadawanie typów zmiennym w czasie kompilacji programu, poprzez deklaracje tych typów lub ich inferencje.

Nowy!!: Ada (język programowania) i Typowanie statyczne · Zobacz więcej »

Umbrello

Umbrello UML Modeller – darmowy program komputerowy służący do tworzenia diagramów UML, dostępny dla systemów typu Unix.

Nowy!!: Ada (język programowania) i Umbrello · Zobacz więcej »

Unified Modeling Language

Przykładowe diagramy UML Unified Modeling Language (UML, zunifikowany język modelowania) – język pół-formalny wykorzystywany do modelowania różnego rodzaju systemów, stworzony przez Grady’ego Boocha, Jamesa Rumbaugha oraz Ivara Jacobsona, obecnie rozwijany przez Object Management Group.

Nowy!!: Ada (język programowania) i Unified Modeling Language · Zobacz więcej »

VHDL

VHDL – język opisu sprzętu używany w komputerowym projektowaniu układów cyfrowych typu FPGA i ASIC.

Nowy!!: Ada (język programowania) i VHDL · Zobacz więcej »

Visual Basic .NET

Visual Basic.NET (VB.NET) – obiektowy język programowania zaprojektowany przez firmę Microsoft.

Nowy!!: Ada (język programowania) i Visual Basic .NET · Zobacz więcej »

Worse is Better

Worse is Better – teoria, według której w programowaniu „right now” (właśnie teraz) jest znacznie ważniejsze od „right way” (właściwy sposób).

Nowy!!: Ada (język programowania) i Worse is Better · Zobacz więcej »

Xcode

Xcode – zintegrowane środowisko programistyczne (IDE) firmy Apple Inc., służące do tworzenia aplikacji i innego oprogramowania na system macOS (dawniej znany jako OS X i Mac OS X).

Nowy!!: Ada (język programowania) i Xcode · Zobacz więcej »

Zakres (programowanie)

Zakres (programowanie), także przedział, wycinek, to zdefiniowanie w kodzie źródłowym pewnego przedziału wartości wyodrębnionego z wartości określonego typu bazowego.

Nowy!!: Ada (język programowania) i Zakres (programowanie) · Zobacz więcej »

Zmienna sterująca

Zmienna sterująca pętlą(nazywana także zmiennąkontrolną) to zmienna stosowana w określonym języku programowania, tworzona i używana do sterowania wykonaniem instrukcji iteracyjnejMichael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania, John E. Nicholls, Struktura języków programowania, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Informatyka,.

Nowy!!: Ada (język programowania) i Zmienna sterująca · Zobacz więcej »

Przekierowuje tutaj:

Ada (informatyka), Ada++.

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