Niezawodne programowanie

Ada leci na Marsa

Pasted Graphic
fot. adacore.com

Krytyczny system wbudowany dla programu ExoMars został napisany i zweryfikowany w języku Ada: http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet

Tworzenie projektu w GPS

Poniższy film prezentuje jak w środowisku GNAT Programming Studio utworzyć nowy pusty projekt, jak dodać do niego plik, jak skompilować program i jak go uruchomić.

Książka "Programming in Ada 2012"

Old_Book_clip_art_small

Za tydzień dostawa najnowszej książki: John Barnes Programming in Ada 2012. Read More...

Nauka języka Ada

logo-isolated

Coś powoli rozwija się ta strona ale chyba warto od czasu do czasu zajrzeć na AdaCore University.

Problemy z instalacją pod Debianem

debian_4

Problemy z instalacją oprogramowania GNAT GPS pod Debianem na komputerze 64-bitowym.
Read More...