AdaCore University bietet Online-Kurse für Programmiersprache Ada
Paris, 25. September 2013 – Die neue AdaCore University stellt kostenlose Internet-Kurse für die Programmiersprache Ada bereit. Die Kurse richten sich an Entwickler mit unterschiedlichen Vorkenntnissen und vermitteln die Grundlagen der Sprache sowie weiterführende Konzepte.
Die Kurse der AdaCore University stützen sich auf Beispiele, mit denen die Lernenden die meisten Features der Programmiersprache Ada verstehen und gleich ausprobieren können. Gestützt auf die Erfahrung von Ada-Experten, wie die AdaCore-Gründer und emeritierten Professoren Robert Dewar und Edmond Schönberg von der New York University, erklären die Kurse die technischen Konzepte von Ada und bieten Einblick in die Grundprinzipen und die Verwendung von bestimmten Funktionen.
Das erste Curriculum umfasst zwei Kurse:
* Ada 001, "Overview" – das Modul bietet einen Überblick über die Sprache und versetzt die Lernenden in die Lage, bereits kleine Programme zu schreiben.
* Ada 002, "Basic Concepts" – der erste in einer Reihe von offiziellen Ada-Kursen bietet eine Einführung in grundlegende Konzepte der Programmierung mit Ada und befähigt die Teilnehmer, auf Basis dieser Features eigene Programme zu schreiben.
Beide Module sowie alle künftigen Kurse stellen die Quellen und Installationsanleitungen für alle Lernmaterialien und Werkzeuge zur Verfügung. Die Kurse decken die neueste Version der Sprache Ada (Ada 2012) ab, die Lernenden haben Zugriff auf die Entwicklungsumgebung und auf die GNAT-Ada-Programmierwerkzeuge von AdaCore. Auf der Webseite der AdaCore-University finden sich außerdem zahlreiche technische Unterlagen zu Ada, die einen tieferen Einblick in das Design der Sprache und ihre Nutzung bieten.
Die AdaCore-University ist ein Live-Projekt, das ständig um Aufbaukurse für Ada und SPARK 2014 erweitert wird. SPARK 2014 ist eine Ada-basierte Programmiersprache für High-Integrity-Software, also für Software, bei der Zuverlässigkeit essentiell ist und bei der Sicherheit und/oder Sicherheits-Zertifizierung erforderlich sind.
Weitere Informationen über die AdaCore University unter: http://u.adacore.com
Das Projekt wird auch vom Förderverein Ada Deutschland unterstützt.
Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/home/company/customers/
Sowohl Ada als auch GNAT Pro werden immer häufiger im High-integrity-Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor. Das SPARK Pro Toolset, das ebenfalls von AdaCore erhältlich ist, eignet sich besonders für den Einsatz in diesem Umfeld.
AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
Datum: 25.09.2013 - 10:16 Uhr
Sprache: Deutsch
News-ID 950948
Anzahl Zeichen: 2989
Kontakt-Informationen:
Ansprechpartner: Romana Redtenbacher
Stadt:
Paris
Telefon: +49-89-59997-761
Kategorie:
Computer & Technik
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 25.09.2013
Diese Pressemitteilung wurde bisher 543 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore University bietet Online-Kurse für Programmiersprache Ada"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Live-Vorführung der Software-Lösung lobodms ...
Kißlegg/Puchheim, 24. September 2013. Die DM Dokumenten Management GmbH und sein Partner, die Elektro Schneider GmbH, laden am Donnerstag, 10. Oktober 2013 von 12:00 – 12:50 Uhr zu einem Dokumentenmanagement Workshop im Neuen Schloss in Kißlegg ein. Im Rahmen der Mittagsakademie „Wissen mit
Lüfterfreier Dual Core Box-PC als abgesetzte Lösung ! ...
Mit dem neuen lüfterfreien Dual Core Box-PC, Modell ECN-360A-HM65, bietet COMP-MALL eine low Power Plattform als remote Lösung mit überzeugender Performance. Das Modell ECN-360A-HM65 basiert auf dem Sandy Bridge Intel® Celeron® Dual Core Prozessor 847E 1.1GHz mit Intel® HM65 Chipsatz. Der Box-
