university.adacore.com
About
http://university.adacore.com/about
AdaCore University is a platform maintained by AdaCore, holding education material developed by AdaCore and its partners. All material is licensed under Creative Common or similar open-source licenses. Feel free to use and share it. Similar courses can be provided on-site for professional developers, see our commercial offer. For more information, please visit our website. Or contact university@lists.adacore.com. JavaScript must be enabled to view this email address).
university.adacore.com
Multi-Language Programming with Ada | Courses | AdaCore University
http://university.adacore.com/courses/multi-language-programming-with-ada
Multi-Language Programming with Ada. Multi-Language Programming with Ada. This course presents how Ada can interact with foreign languages such as C, C and Java. Note that some concepts here may require understanding that goes beyond the course currently available on this platform. Programming in the Large. JavaScript must be enabled to view this email address).
university.adacore.com
Courses | AdaCore University
http://university.adacore.com/courses
An overview of the Ada programming language. Through a set of small examples, you will have the opportunity to see, understand and experiment most of the capabilities of the language, and write small programs. The basic concepts of the Ada programming language, allowing you to write small programs. Programming in the Large. This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.
adaic.org
Site Map - Ada Resource Association
http://www.adaic.org/site-map
News and resource for the Ada programming language. Features & Benefits. Intro to Ada Pt. 1. Intro to Ada Pt. 2. Intro to Ada Pt. 3. Intro to Ada Pt. 4. Intro to Ada Pt. 5. Academic Courses and Projects. Ada 2005 Language Reference Manual. Ada 2012 Standards and Documents. Ada 83 Rationale, LRM, & Guides. Accessing the Ada Language Reference Manuals. Ada 95 Language Reference Manual (original). An ISO Standard Guards the Ada Hen House. An Overview of Ada 95. ASIS Makes Ada Tools Portable. Ada on the Web.
u.adacore.com
Getting Started
http://u.adacore.com/getting-started
Getting Started with AdaCore University. AdaCore University is a platform that contains education material on Ada and related technologies. Material can be viewed using any recent web browser. Labs can be run against GNAT GPL 2015 on the Windows. Platform, which can be downloaded from the AdaCore Libre. Once you have installed GNAT GPL 2015 please download and install the following supporting file. If you are new to Ada, you probably want to start with some of the overview lessons.
adaic.org
Companies AdaCore - Ada Resource Association
http://www.adaic.org/company/adacore
News and resource for the Ada programming language. Ada Helps ExoMars Get to the Red Planet. AdaCore booklet helps Railway Developers. AdaCore announces Make With Ada Competition with a top prize of 5000. Today, AdaCore launched the Make with Ada programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition will run from June 20 to September 30, 2016 and offers o...
university.adacore.com
Ada 001 - Overview | Courses | AdaCore University
http://university.adacore.com/courses/overview
Ada 001 - Overview. Your First Ada Program. This course provides an overview of the Ada programming language. Through a set of small examples, you will have the opportunity to see, understand and experiment most of the capabilities of the language, and write small programs. Other courses will then dive into more details of each aspect. Note that as it is today, the overview set is not complete - new lessons will be added over time. Your First Ada Program.
ada-dk.org
Ada in Denmark | Danish community for the Ada programming language
http://ada-dk.org/latest-news
Danish community for the Ada programming language. June 25, 2016. AdaCore announced the embedded Ada programming competition “ Make with Ada. 8221; earlier this week. I hope to see many interesting entries (and plan to do something myself as well). Posted in Ada Competitions. Ada-Europe 2016 online registration open. April 29, 2016. For the annual Ada-Europe conference on reliable software technologies. The programme includes a tutorial on Ada 2012 contracts by Ada in Denmark member Jacob Sparre Andersen.
university.adacore.com
Concurrency in Ada | Courses | AdaCore University
http://university.adacore.com/courses/concurrency-in-ada
Basic Concepts of Concurrency. This course describes how to develop concurrent application using Ada, in particular through the notion of task and protected object. Basic Concepts of Concurrency. Programming in the Large. JavaScript must be enabled to view this email address).
SOCIAL ENGAGEMENT