Poniżej znajdziesz tłumaczenia wszystkich 13 rozdziałów broszury Johna Barnesa Safe and Secure Software. Lektura poniższego pozwoli uświadomić sobie jak ogromny wpływ na projektowanie niezawodnego i bezpiecznego oprogramowania (niezależnie od wykorzystanego języka programowania) ma nauka Ady, a w szczególności Ady 2005.

Tłumaczenie (aczkolwiek niedoskonałe - sugestie poprawek mile widziane ) zostało dokonane za zgodą AdaCore oraz autora.

Zapraszam.

Pewne i bezpieczne oprogramowanie

Zaproszenie do Ady 2005

Dzięki uprzejmości AdaCore
John Barnes
Tłumaczenie: Adres poczty elektronicznej jest chroniony przed robotami spamującymi. W przeglądarce musi być włączona obsługa JavaScript, żeby go zobaczyć. (dzięki uprzejmości wyżej wymienionych)

Przedmowa

Celem tego opracowania jest pokazanie w jaki sposób nauka Ady, a w szczególności Ady 2005 jest przydatna każdemu w projektowaniu pewnego i bezpiecznego oprogramowania niezależnie od języka programowania, w którym dany program jest pisany. Wykorzystując wiedzę zawartą w niniejszym opracowaniu piszący programy będzie tworzył w obojętnie jakim języku programowania, ale za to w duchu Ady!

Johnowi należą się gorące podziękowania za przekazywanie nam wiedzy poprzez artykuły, książki czy niniejsze opracowanie.

AdaCore dedykuje to opracowanie wszystkim projektantom i implementatorom pewnego i bezpiecznego oprogramowania.

North American Headquarters 104 Fifth Avenue, 15th floor New York, NY 10011-6901, USA tel +1 212 620 7300 fax +1 212 807 0162 Adres poczty elektronicznej jest chroniony przed robotami spamującymi. W przeglądarce musi być włączona obsługa JavaScript, żeby go zobaczyć. www.adacore.com	European Headquerters 46 rue d’Amsterdam 75009 Paris, France tel +33 1 49 70 67 16 fax +33 1 49 70 05 52 Adres poczty elektronicznej jest chroniony przed robotami spamującymi. W przeglądarce musi być włączona obsługa JavaScript, żeby go zobaczyć. www.adacore.com

• Zaprezentowany materiał może być wykorzystany wyłącznie dla celów prywatnych lub edukacyjnych.
• Wykorzystanie komercyjne wersji angielskiej wymaga zgody AdaCore oraz autora. Wersja polska wymaga dodatkowo zgody tłumaczącego.
• Zamieszczenie wersji angielskiej na stronach WWW wymaga zgody AdaCore oraz autora. Wersja polska wymaga dodatkowo zgody tłumaczącego oraz zamieszczenia linku zwrotnego w postaci:

<a title="http://adavirtus.pl/ada/pewne-i-bezpieczne-oprogramowanie">
Pewne i bezpieczne oprogramowanie
</a>

Wszystkie prawa zastrzeżone.