Select Language

AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community

NEW YORK and PARIS, September 25, 2013 – AdaCore today launched AdaCore University - a free, web-based resource center for anyone interested in learning about, or how to program in, the Ada programming language. The new website offers pre-recorded courses and other learning materials on Ada, with access to AdaCore’s GNAT Ada toolset for writing and running example programs. It also utilizes the latest in website design and learning tool features. Students at all levels of experience and expertise can begin writing programs quickly and can proceed at their own pace.

AdaCore University courses educate through examples, allowing students to see, understand and experiment with most features of the Ada programming language. Drawing on the experience and teaching credentials of Ada experts, such as AdaCore founders and New York University Emeritus Professors Robert Dewar and Edmond Schonberg, the courses explain Ada’s technical concepts with insight into the rationale and usage of particular features.

The initial curriculum includes two courses:

  • Ada 001, “Overview” – a module that presents an overall picture of the language and that allows students to write small programs; and 
  • Ada 002, “Basic Concepts” – the first in a formal series of Ada classes, introducing basic Ada programming concepts and allowing students to write programs based on these features.

Both of these modules, and all future courses, provide sources and installation instructions for all learning materials and tools. The courses cover the latest version of the Ada language (Ada 2012), and students have access to AdaCore’s GNAT Ada development environment and programming tools. The AdaCore University website also hosts a number of technical papers on Ada, offering insight into particular aspects of the language’s design and usage.

AdaCore University is an ongoing, live project that will be expanded to include more advanced courses on Ada, and SPARK 2014 – an Ada-based programming language designed for high-integrity software (i.e., where reliability is essential and where safety and/or security certification may be required).

For more information on AdaCore University please visit http://u.adacore.com.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com


Press Contacts
Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

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.

AdaCore stellt die AdaCore University vor, ein kostenloses, web-basiertes Ressourcen-Center für alle, die lernen wollen, wie man die Programmiersprache Ada verwendet. Die neue Website bietet aufgezeichnete Kurse und andere Lernmaterialien zu Ada, sowie Zugang zum AdaCore GNAT Ada-Toolset, mit dem man Beispielprogramme schreiben und ausführen kann. Sie nutzt dabei neuestes Website-Design und Lerntools. Studierende unterschiedlichster Erfahrung und Kompetenz können schnell mit dem Schreiben von Programmen beginnen und das Lerntempo selbst bestimmen.

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 ist.
Weitere Informationen über die AdaCore University unter: http://u.adacore.com

Das Projekt wird auch vom Förderverein Ada Deutschland unterstützt.

Über AdaCore
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

Pressekontakte
Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

 

PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher@pr-com.de
www.pr-com.de
Tel. +49-89-59997-761

AdaCore présente une plate-forme de formation Ada gratuite

NEW YORK et PARIS, 25 septembre 2013 -- AdaCore présente AdaCore University, une plate-forme web gratuite destinée à toute personne souhaitant apprendre à programmer en langage Ada. Cette plate-forme propose entre autres supports des cours pré-enregistrés et ateliers pratiques, avec un accès aux outils GNAT d'AdaCore. Les méthodes pédagogiques utilisées permettent aux élèves, quel que soit leur niveau, de démarrer rapidement l'écriture de programmes et de continuer à  leur rythme.

Le matériel de formation disponible sur AdaCore University est composé d’exemples qui permettent aux élèves de voir, de comprendre et d’expérimenter les principales fonctions du langage de programmation Ada. Le site s'appuie sur l'expérience d’enseignement de l’équipe de formateurs d’AdaCore, qui compte notamment Robert Dewar et Edmond Schonberg, fondateurs d'AdaCore et professeurs émérites de l'Université de New York. Le premier programme de formation comprend deux cours :

  • Ada 001, "Vue d'ensemble" - module qui donne un aperçu du langage via de petits exemples concrets et qui permet aux élèves d'écrire leurs premiers programmes.
  • Ada 002, "Concepts de base" - premier d'une série de cours Ada, présentant les concepts de programmation de manière plus complète.

Les cours portent sur la dernière version du langage Ada (Ada 2012), basé sur un environnement de développement GNAT librement disponible. Le site AdaCore University héberge également de nombreux articles techniques sur Ada.

AdaCore University est un projet vivant et intègrera rapidement d'autres cours, notamment un chapitre sur SPARK 2014, langage de programmation basé sur Ada conçu pour les logiciels de haute fiabilité. (notamment là où la sûreté  et / ou la sécurité du code sont au plus haut niveau de criticité).

AdaCore University est soutenue par des organismes à but non lucratif visant à défendre et à promouvoir le langage de programmation Ada, dont la Ada Resource Association, SIGAda, Ada Deutschland, Ada France et Ada Europe.

Plus d'informations à propos d’AdaCore University sur le site http://university.adacore.com.

À propos d’AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques.  Le produit phare d'AdaCore est l'environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine.  AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications critiques ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord. http://www.adacore.com

Contacts Presse
Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany