Pro Ada Training
This standardized course is offered at fixed intervals throughout the year, allowing a means for individuals and small groups to learn Ada when private, customized training is not a feasible option. It introduces students to the core language features of Ada, ranging from the basics to more advanced concepts.
Live Training
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 info@adacore.com
Ada Training
Ada Essentials
This course provides a full introduction to programming in Ada, with topics that are tailored based on customer requirements. It explains Ada’s fundamental 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. See Course Details »
Ada Training
Ada Advanced Topics
This course goes into greater detail on Ada topics chosen by the customer. As such, both the content and the length are completely customizable.
Tools Training
GNAT Static Analysis Suite (SAS)
Static analysis is a complex subject, which the GNAT SAS is designed to help you tackle. Through a mix of training, dedicated “mini-mentorship”, and customization work, AdaCore can help you set up a fully functional static analysis workflow on your codebase, adapted to your use case. See Course Details »
Tools Training
GNAT Dynamic Analysis Suite (DAS)
GNAT DAS offers a rich set of capabilities for analyzing your code, but there is a learning curve to getting it configured and ready for initial usage. This integrated course simplifies that process so that you can quickly get set up and start seeing results. See Course Details »
Tools Training
Hands-On with GNAT Studio
This course demonstrates advanced usage of the GNAT Studio Integrated Development Environment (IDE), and how to improve productivity by using more of its advanced features.
SPARK Training
SPARK Essentials
A three-day course for programmers, managers, and software assessment/regulation personnel, which presents the principles of high assurance software development and verification using SPARK. The course explains the rationale of SPARK, describes the language and the principles of formal methods 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 »
Consulting
For projects requiring very high priority support or specialized expertise AdaCore offers custom support and development services. Consulting »