Adacore University: Kostelose Kurse online
Die ‚AdaCore University‘ bietet zwei neue Kurse an: Die ersten Lektionen von ‚Concurrency‘ und ‚Spark 2014‘ sind ab sofort unter http://u.adacore.com kostenlos verfügbar und werden nach und nach mit weiteren Lektionen ergänzt. In ‚Concurrency‘ wird aufbauend auf dem Kurs ‚Programming in the Large‘ beschrieben, wie man nebenläufige Applikationen in Ada programmiert, mit Fokus auf die Begriffe ‚Task‘ und ‚Protected Object‘. Im Kurs ‚Spark 2014‘ wird dieses Subset der Programmiersprache Ada 2012 zusammen mit seinen Tools und Techniken zum formalen Definieren von Eigenschaften sowie ihrer Verifizierung vorgestellt. Zur AdaCore University: Sie ist ein kostenloses, webbasiertes Ressourcen-Center für alle, die lernen wollen, wie man die Programmiersprache Ada verwendet. Die Website bietet ausgezeichnete Kurse und andere Lernmaterialien zu Ada an sowie Zugang zum AdaCore GNAT Ada-Toolset, mit dem man Beispielprogramme schreiben und ausführen kann. Gestützt auf die Erfahrung von Ada-Experten, erklären die Kurse die technischen Konzepte von Ada und bieten Einblick in die Grundprinzipien sowie die Verwendung von bestimmten Funktionen. Übrigens: Lesen Sie ein Interview über QGen, dem Code-Generator für modellbasierte Entwicklung von Adacore auf unserer Website:
