GNAT Industrial User Day

Meet. Learn. Share.

Paris, September 25th, 2014

Agenda

09:30 - 09:45
Welcome
09:45 - 10:15
AdaCore insights
10:15 - 11:00
The latest advances in AdaCore static analysis tools
11:00 - 11:30
Networking Break
11:30 - 12:15
Introducing a qualifiable code generator for Simulink
12:15 - 13:00
User cases from the field - customer presentations
13:00 - 14:00
Lunch
14:00 - 14:20
Learning Ada and SPARK: Update on the AdaCore University platform
14:20 - 15:05
Tutorial: Everything you need to know about contract programming
15:05 - 15:45
Leveraging AdaCore tools to support rigorous software development processes
15:45 - 16:15
Networking Break
16:15 - 16:30
The AdaCore Factory
16:30 - 17:00
Demo workshop
  • Managing your project metrics with GNATdashboard
  • Generating documentation with the GNATdoc engine
17:00 - 17:30
New and upcoming developments in the AdaCore technology
17:30 - 17:45
Closing remarks and questions
17:45
Cocktail


Location

CLUB CONFAIR
54 rue Laffitte
75009 Paris, France
www.club-confair.com



Registration

Data
First Name *
Last Name *
Job Title *
Company *
Country *
Tel *
Email *