Zum Inhalt springen
Förderverein Ada Deutschland e.V.
  • ADA in Deutschland
    • Mitglied werden
    • Tagungen und Workshops
    • Ressourcen
    • Historie
  • GI-Fachgruppe ADA
  • Förderverein
    • Mitgliedschaft
    • Satzung
    • Sponsoren
  • Kontakt
Hauptmenü

Ressourcen

Ada lernen

  • AdaCore stellt mit learn.adacore.com sehr einsteigerfreundliche Einführungen in Ada und SPARK zur Verfügung (EN)
  • Ada Programming (Wikibooks, EN)
  • Ada-Grundkurs (EN, DE)
  • Eine feinsinnige Einführung bietet Ada Magica (DE)
  • Ada Gem of the Week ist ein Archiv mit Experten-Tipps und -Einblicken
  • A Random Walk Through Ada ist ein längerer Blogeintrag von David Given, der einen guten Überblick über die Sprache gibt
  • Safe and Secure Software - An Invitation to Ada 2012 ist ein frei verfügbares Booklet von John Barnes (EN)
  • Die von der Community betriebene Webseite ada-lang.io (EN) verweist auch auf nützliche Ressourcen

Literaturempfehlungen & Online-Bücher

Deutschsprachige Fachbücher

  • Manfred Nagl: Softwaretechnik mit Ada 95: Entwicklung großer Systeme
    Vieweg Verlag - Professional Computing

Englischsprachige Fachbücher

  • John Barnes: Programming in Ada 2012 oder das neuere Programming in Ada 2022
    Cambridge University Press

Online-Bücher

  • Ada 95: The Craft of Object-Oriented Programming
  • The Big Online Book of Linux Ada Programming

Richtlinien für High Integrity Systems

 

  • Qualitätsmerkmal Technische Sicherheit - Eine Denkschrift des Vereins Deutscher Ingenieure (PDF, 1.17MB)
  • Guide for the use of Ada ravenscar profile in high integrity systems (iso.org 2005)
  • Guide for the use of the Ada Ravenscar Profile in high integrity systems (sigada.org 2003)

Werkzeuge

  • GNAT (AdaCore)
  • Alire (Open-source)
  • PolySpace (MathWorks)
  • AdaControl (Adalog)

Weitere Informationen zu Werkzeugen für Ada finden sie im Ada Information Clearinghouse

 

Förderverein Ada Deutschland e.V. · Erasmusstr. 3 · 76139 Karlsruhe · info@ada-deutschland.de · Fax: 0721/9683530
Impressum | Datenschutz
top