Ada answers
Building better software with Ada
The Ada Lecture Series
Learn more about Ada through this informative series of university lectures and conference presentations given by some of the foremost experts on the language.
Altran Praxis High Assurance Software Symposium
Abstract:
AdaCore’s partner Altran Praxis has traditionally run a bi-annual “SPARK User Group”. The talks from this years event aimed at engineers and managers who are concerned with the development, regulation, or procurement of high assurance software, but who may not be day-to-day SPARK users.
View the videos »
Abstract:
Robert B. K. Dewar is a professor at NYU, President of AdaCore, and one of the early figures in the development of Ada. In this lecture given at the Massachusetts Institute of Technology, Mr. Dewar gives an overview of the history of Ada, which includes the motivation for its conception, the story of its development, and the role Ada plays in present day programming. The lecture also covers the fundamental ideas behind Ada, its influence on other languages, and the truths and myths associated with the language.
| View Lecture Requires QuickTime | Related Resources and Links |
|
Abstract:
Ada Conference 2009 moves to London this year with another distinguished group of speakers presenting talks on topics such as: Choosing a programming language, Static analysis, software certification, and the use of Ada in industry, among many others.
View the videos »
Abstract:
Another successful Ada event, talks at this year’s Ada UK Conference 2007 focus on the best practices and methods for developing safe and secure software, as well as, many other Ada related topics.
View the videos »
Abstract:
Weren’t able to make it to Ada UK Conference 2006? No problem. Here you can catch all of the presentations given by Ada luminaries and industry experts. Topics covered include: Ada 2005, Ada and real-time programming, safety-critical and secure software development and much more.
View the videos »