Note that any tutorial and/or presentation shown below in red has been cancelled for the conference. However, any paper will be in the SIGAda 2003 Conference Proceedings.
Sunday, December 7 | |
TUTORIAL PROGRAM | |
|
|
SF1 | Architecture-Centered Development of Time Critical Systems with AADL, UML, and Ada
Ed Colbert (Absolute Software Co., Inc.) Bruce Lewis (US Army Aviation and Missile Command) |
SF2 | Improved Software Testing With the Use of Metrics
Alfred Sorkowitz |
SF3 | Introduction to Ada
Joyce Tokar (Pyrrhus Software, Inc.) |
SF4 | SPARK, An Intensive Overview
Roderick Chapman, Ph.D (Praxis Critical Systems, Ltd.) |
Monday, December 8 | |
TUTORIAL PROGRAM | |
|
|
MF1 | Normative Quality Specification and Standardized Acceptance Testing
Hans-Ludwig Hausen (FRAUNHOFER German National Engineering Research Society) |
|
|
MA1 | Links in the Chain: Why Mature Systems Engineering is Needed
Rick Conn (Microsoft) |
MA2 | The HOOD Design Method
Jean-Pierre Rosen (Adalog) |
|
|
MP1 | High-Integrity Ravenscar using SPARK
Roderick Chapman, Ph.D (Praxis Critical Systems, Ltd.) Brian Dobbing (Praxis Critical Systems, Ltd.) |
MP2 | A#
Martin Carlisle, Ph.D (United States Air Force Academy) |
|
|
SIGAda Extended Executive Committee (EEC) Meeting (Open to all) |
Tuesday, December 9 | |
CONFERENCE PROGRAM | |
9:00 - 10:30am |
Welcome Introduction of Conference Officers and SIGAda Officers Keynote Address: |
10:30 - 11:00am | Mid-morning Break - Exhibits Open |
11:00am - 12:30pm |
Multilanguage Programming with Ada in the .NET Environment Static Verification and Extreme Programming |
12:30 - 2:00pm | Mid-day Break and Exhibits |
2:00 - 3:40 pm |
AdaSlicer: An Ada Program Slicer Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar Rapid Ada application development with the Unified Modeling Language (UML) |
3:40 - 4:15pm | Afternoon Break & Exhibits |
4:15 - 6:10pm |
Keynote Address: A DSA Model for Data Access in Self-Organizing Systems Automated Global Data Checking for Ada |
6:10pm | Adjourn Day 1 of Conference |
7:00 - 9:00pm |
Conference Reception / Screening |
Wednesday, December 10 | |
CONFERENCE PROGRAM | |
9:00- 10:30am |
Ada's Birthday and other Announcements SIGAda Awards Keynote Address: |
10:30 - 11:00am | Mid-morning Break and Exhibits |
11:00am - 12:30pm |
European Air Traffic Flow Management: Porting a Large Application to GNU/Linux Experiences in Developing a Typical Web Database Application A Framework for Designing and Implementing the Ada Standard Container Library |
12:30 - 2:30pm | Mid-day Break and Exhibits |
2:30 - 4:00pm |
WG9 Programme: Plans for Amending the Ada Language Ravenscar Profile: An Important Addition to Ada 2005 |
4:00 - 4:30pm | Afternoon Break |
4:30 - 6:00pm |
WG9 Forum |
6:00 - 8:00pm | Adjourn Day 2 of Conference: Evening Break |
8:00 - 11:00pm |
APIWG plenary, Birds of a Feather APIWG XML subgroup, Birds of a Feather ASISWG, Birds of a Feather Birds-of-a-Feather (BoF) sessions |
WG9 ForumWednesday, December 10, 2:00-3:45pm
|