Sunday, November 12 | |
TUTORIAL PROGRAM | |
Full-Day Tutorials (9:00am - 5:30pm) | |
SF1 | Real-Time Java for Ada Programmers
Ben Brosgol (AdaCore) |
SF2 | An Introduction to Ada for programmers
Eugene W.P. Bingue (Independent Consultant) David A. Cook (AEgis Technologies Group, Inc.) Les Dupaix (USAF Software Technology Support Center (STSC)) |
Morning Tutorials (9:00am - 12:30pm) | |
SA1 | SPARK: A Safer Way to Program
Joyce Tokar (Pyrrhus Software, Inc.) |
Afternoon Tutorials (2:00 - 5:30pm) | |
SP1 | A#: Programming PDAs and .NET devices with Ada
Martin C. Carlisle (US Air Force Academy Department of Computer Science) |
Monday, November 13 | |
TUTORIAL PROGRAM | |
Full-Day Tutorials (9:00am - 5:30pm) | |
MF1 | Best Practices for Software Quality Specification, Testing and Certification of COTS and Bespoken Systems
Hans-Ludwig Hausen (Fraunhofer) |
Morning Tutorials (9:00am - 12:30pm) | |
MA1 | SAE Architecture Analysis and Design Language (AADL)
Joyce Tokar (Pyrrhus Software, Inc.) |
MA2 | New Features of Ada 2005
Martin C. Carlisle (US Air Force Academy Department of Computer Science) |
Afternoon Tutorials (2:00 - 5:30pm) | |
MP1 | The Ada 2005 Standard Container Library
Matt Heaney |
MP2 | Real-time and Parallel Processing in Ada
Eugene W.P. Bingue (Independent Consultant) David A. Cook (AEgis Technologies Group, Inc.) Les Dupaix (USAF Software Technology Support Center (STSC)) |
Evening Activities (7:00pm - 11:00pm) |
7:00 - 10:00pm |
SIGAda Extended Executive Committee (EEC) Meeting (Open to all) |