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.
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 firstname.lastname@example.org
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 »
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 »
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 »
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 »