DC SIGAda Program for 2005-2006
- See what we are planning this year!
Some presentation artifacts are available on-line. These include:

• Vinton G. Cerf's and Robert E. Kahn's 2005 Turing Award Lecture on Assessing the Internet: Lessons Learned, Strategies for Evolution, and Future Possibilities is available as an archived webcast.
• Bill Bail's Requirement Engineering for Dependable Systems.
• Kevin Richardson's The Software Communications Architecture (SCA) and the Building of Software Defined Radios.
• Francis Thom's Developing & Maintaining Ada Systems Using UML

DC SIGAda Program for 2004-2005
- See what we did last year! Also some slide sets are available on-line. These include:

• Terry Bollinger's Security of Open Source Software in Distributed Systems
• Stephen Leake's Ada Library; 15 Years of Useful Ada Packages
• Ron Chapman's and Martin Croxford's Recent Results with Correctness-by-Construction and SPARK

DC SIGAda Program for 2003-2004
- Also some slide sets are available on-line. These include:

• Currie Colket's and Bill Bail's "Highlights of the 8th International Conference on Reliable Software Technologies (Ada-Europe 2003)"
• Bill Beckwith's and Victor Giddings' "Real-time MILS CORBA: High Assurance Security for Real-time, Distributed Systems"
• Lester Sussman's "Writing and Filing US Patents - From a Software Perspective"
• Robert O'Brien's "Using Rational Rose Real-Time with UML "
• Scott Ankrum's "Assurance Frameworks"
• Currie Colket's "Code Analysis for Quality in High Integrity Systems"
• Alfred Kromholz's "Mapping Software Assurance to the Software Engineering Process "

DC SIGAda Program for 2002-2003
- Some slide sets are available on-line. These include:

• Chuck Howell's "Structured Argumentation Support for Information Assurance"
• Clyde Roby's "Evolving Ada Bindings and Ada APIs"
• John Warther's and Gordon Uchenick's "High Reliability, Safety, and Secure Solutions for Embedded Developers"
• Karl Nyberg's "Optical Character Recognition (OCR) of Cryptographic Source Code"

DC SIGAda Program for 2001-2002
- Some slide sets are available on-line. These include:

• Bruce Barkstrom's "Ada 95 Bindings for the Hierarchical Data Format (HDF) Used for NASA's Earth Observing System (EOS) Data and Information System (EOSDIS)"
• Currie Colket's Ada 95 Protected Objects for Synchronizing Shared Data Structures" and
• Frank Beard's ObjectAda GUI Builder and Source Code for Image Viewer Ada Windows application"
• Victor Giddings presentation on: "Ada in Nuclear Fusion Research at the National Ignition Facility or How Does a Really Big Laser Hit a Very Small Target?"

DC SIGAda Program for 2000-2001
- Some slide sets are available on-line. These include:

• Clyde Roby's "Introduction to Web Technologies for Effective Dissemination of Information"
• Jim Moore's "Software Engineering Standards"
• Greg Gicca's "FAA DO-178B Details then Short Overview of Aonix Tool Support" and
• Currie Colket's "Everything You Wanted to Know About Exceptions, But Were Afraid to Raise"

DC SIGAda Program for 1999-2000
- Again some slide sets are available on-line.

DC/Baltimore SIGAda Officers - Pending Merging of DC SIGAda and Baltimore SIGAda Chapters

DC/Baltimore SIGAda Maillist and Membership
- Contains information on how to join or be removed from the DC/Baltimore SIGAda Maillist

Valuable Ada and Software Engineering Links