Niezawodne programowanie
Ada 2012 is a comprehensive high level programming language especially suited for professional development of large or critical programs for which correctess and robustness are major considerations.
John Barnes "Programming in Ada 2012"
W formie blogów zamieszczane będą krótkie notatki ilustrujące możliwości samego języka oraz opracowanych na jego potrzeby narzędzi do formalnej weryfikacji kodu:
- Ada 2012 o nowym standardzie języka programowania Ada
- SPARK 2014 o języku będącym podzbiorem języka Ada 2012, w którym napisane programy można formalnie weryfikować
- Mikrokontrolery o programowaniu w języku Ada na małe urządzenia
- Mindstorms o programowaniu w języku Ada robotów zbudowanych z klocków LEGO