Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map
  • Development log
  • Technical papers
  • Live docs

More Resources

Recent Papers

Browse by Technology

Dev Log Archives

Developer Center

Ada UK videos online

Wednesday February 13, 2008

The videos of the presentations given at the recent Ada event in the UK can now be viewed here:

http://www.adacore.com/home/ada_answers/lectures/ada_uk07

Topics include:

  • Sufficient Evidence?
  • Porting to Ada 2005
  • Can Ada be used with Multiple Independent Levels of Security?
  • The Marte run-time and the advantages Ada has for real-time programmers
  • Correctness by Construction: Putting Engineering into Software
  • The automatic extraction of semantic information using advanced static analysis
  • The DO-178C standardization process and implications for language
  • Using Ada for software development tools
  • The future of programming languages
  •  

    Posted by Posted in Ada / Ada 2005 / Ada 2012, Development Log