SIGAda 2003 Advance Program
SIGAda 2003
Presenters and Presentations

Name of
Presenter

Title of Presentation
Gaetan Allaert European Air Traffic Flow Management: Porting a Large Application to GNU/Linux
Peter Amey Static Verification and Extreme Programming
Martin C. Carlisle Multilanguage Programming with Ada in the .NET Environment
Martin C. Carlisle The Case for Ada at the USAF Academy
A.T. Chamillard AdaSlicer: An Ada Program Slicer
Roderick Chapman Static Verification and Extreme Programming
Zhenqiang Chen Measuring Cohesion of Packages in Ada 95
Dirk Craeynest European Air Traffic Flow Management: Porting a Large Application to GNU/Linux
Sami Evangelista Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar
Barry Fagin The Case for Ada at the USAF Academy
Xavier Franch A Framework for Designing and Implementing the Ada Standard Container Library
Dhavy Gantsou A DSA Model for Data Access in Self-Organizing Systems
David S. Gibson The Case for Ada at the USAF Academy
Jeffrey W. Humphries Multilanguage Programming with Ada in the .NET Environment
C. Kaiser Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar
Jordi Marco A Framework for Designing and Implementing the Ada Standard Container Library
Eric Potratz A Comparison of Java to Ada in Implementing a Real-Time Embedded System
J.F. Pradat-Peyre Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar
Jean-Pierre Rosen Experiences in Developing a Typical Web Database Application
Pierre Rousseau Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar
Ricky E. Sward AdaSlicer: An Ada Program Slicer
Ricky E. Sward The Case for Ada at the USAF Academy
Philippe Waroquiers European Air Traffic Flow Management: Porting a Large Application to GNU/Linux
Terry A. Wilson Multilanguage Programming with Ada in the .NET Environment
Baowen Xu Measuring Cohesion of Packages in Ada 95
Jianjun Zhao Measuring Cohesion of Packages in Ada 95

Back to Main Page Back to Main Page
last updated 2 December 2003 - cgr