Pro Ada Training
Whether straight out of college or a seasoned professional, learning a new programming language well enough to use it correctly, idiomatically, and effectively to design and code high-quality software takes time and discipline.
AdaCore's Pro Ada Training course provides a fast track to attaining an intermediate level of Ada software engineering proficiency that is suitable for many projects.
During our five-day course, you will learn how to use the Ada programming language for both sequential and concurrent applications, through a combination of live lectures from expert instructors and hands-on workshops using AdaCore's latest GNAT technology. No previous experience with Ada is required.
Experience has shown that Ada is an extremely learnable language and that programmers with basic knowledge in other languages can quickly get up to speed with Ada. For programmers who already have some Ada experience, AdaCore offers advanced courses in Ada and GNAT Pro/GNAT Studio designed to help developers get the most out of the technology.
For information regarding pricing, availability of instructors for scheduling, and customization of the training courses listed below, please contact email@example.com
This course provides a full introduction to programming in Ada. It explains Ada’s classic programming features, emphasizing how to construct modular, portable, and reliable systems. It is up to date with the most recent version of the language standard, Ada 2012, but the specific features that are covered may be tailored based on customer requirements. See Course Details »
This follow-up course to Ada Fundamentals explains a number of advanced topics that Ada programmers need to be familiar with. It is up to date with the most recent version of the language standard, Ada 2012, but the specific features that are covered may be tailored based on customer requirements. See Course Details »
Through lectures and hands-on workshops, this 5-day course shows how to use AdaCore tools for improving overall code quality as well as for testing and debugging. It presents tools such as GNATcheck (style checks / coding standard compliance), GNATmetric (metric measurements), CodePeer (static analysis / vulnerability detection) or GNATcoverage (structural code coverage analysis) and GNATtest (unit testing). It will also show how to make use of the GNAT compiler options and pragmas in order to detect certain kinds of errors early in the development process, and how to take advantage of stack usage data that can be extracted at compile time. See Course Details »
This course shows advanced usage of GNAT Studio, and how to improve productivity by using its most advanced features. It’s composed of three independent days which can either be taken as a part of a GNAT Studio course, or separated and combined with other topics. See Course Details »
A five-day course for programmers, managers, and software assessment/regulation personnel, which presents the principles of high assurance software development and verification using SPARK 2014. The course explains the rationale of SPARK 2014, describes the language and the principles of static code analysis, and shows how to use the SPARK language and the SPARK Pro Toolset both in new projects and in the context of existing (legacy)systems. See Course Details »