Washington DC Capitol photo
Website for the
ACM DC/Baltimore Chapter of

the Special Interest Group for
the Ada programming language
 [Baltimore Mt. Vernon photo]

Our Next DC/Baltimore ACM SIGAda Chapter Meeting
is scheduled for
Tuesday, 12 September 2006 at 7:30 P.M.

will be speaking on


Please Put on Your Calendar:

  • Tuesday, 10 October 2006 for the next DC/Baltimore SIGAda Chapter in JHU/APL. TBD will be speaking on TBD. We will be taking a summer break for July and August.
  • 12-16 November 2006 - SIGAda 2006 will be held in Albuquerque, New Mexico. Details at http://www.acm.org/sigada/conf/sigada2006

    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

    The Special Interest Group on Ada Programming Language is a powerful resource for the software community's ongoing understanding of the scientific, technical and organizational aspects of the use, standardization, environments, and implementations of the Ada language.

    The DC/Baltimore SIGAda Chapter meets approximately once a month for a presentation of interest to the software engineering community. DC/Baltimore SIGAda is sponsored by the Association for Computing Machinery (ACM), a professional software society. We are affiliated with the International ACM SIGAda.

    We are actually in the process of merging the DC SIGAda Chapter and the Baltimore SIGAda Chapter. The merged chapter will be called the DC/Baltimore SIGAda Chapter. This will require a merger of the Bylaws of each chapter and approval of ACM and approval of the members. You may wish to visit the Home Page for the Baltimore SIGAda Chapter.

    If you have any suggestions to help make DC/Baltimore SIGAda better serve your needs, please send an email to the DC/Baltimore SIGAda Officers.

    If you have comments or suggestions, email the DC/Baltimore SIGAda Chapter Webmaster

    DC/Baltimore SIGAda Home Page updated 14 June 2006