Learning Ada & SPARK: Spreading the Ada know-how

Jack MellorPresented by

The Ada MarketCommercial / Military Avionics

Rail Transportation

Space Domain

Defence

Energy: UPS | Oil & Gas

Automotive Industry

Security Critical | Data Encryption | Financial Systems

[…]

Spreading the Ada know-how

GNAT GPL

GAP (GNAT Academic Program)

AdaCore University

Professional Training

Spreading the Ada know-how

GNAT GPL

GAP (GNAT Academic Program)

AdaCore University

Professional Training

GNAT GPL

Grass roots

Open Source tools available for hobbyists & students

libre.adacore.com

ARM bare board support in 2014 edition

Spreading the Ada know-how

GNAT GPL

GAP (GNAT Academic Program)

AdaCore University

Professional Training

GAP

GNAT Academic Program

Over 200 members across 34 countries

Objective: To support and increase the use of Ada in Academic environments

Delivery of Ada/SPARK presentations, webinars & lessons

Access to tools & support

GAP

GNAT Academic Program

Over 200 members across 34 countries

Objective: To support and increase the use of Ada in Academic environments

Delivery of Ada/SPARK presentations, webinars & lessons

Access to tools & support

Spreading the Ada know-how

GNAT GPL

GAP (GNAT Academic Program)

AdaCore University

Professional Training

AdaCore University

AdaCore University is the platform for self-education on Ada and related technologies.

AdaCore University

Ada 001 – Overview

Ada 002 – Basic concepts

Ada 003 – Programming in the large

Ada 004 – Mixed language programming

Roadmap

Cover all aspects of Ada 2012

Advanced concepts | architecture | concurrency | real time | object orientation | contracts

SPARK 2014

Introductory courses

university.adacore.com

Spreading the Ada know-how

GNAT GPL

GAP (GNAT Academic Program)

AdaCore University

Professional Training

Training

Ada | SPARK 2014 | Tools

Professional on-site training

Public training courses

Ada, SPARK & GNAT technology experts

Training

AdaCore-certified Engineer (ACE)

Next public Ada & SPARK courses: Spring / Autumn 2015

libre.adacore.com

adacore.com/academia

university.adacore.com

adacore.com/training