DC SIGAda
Program for Tuesday, 9 September 2003

The presentation will start at 7:30 P.M. (Refreshments and Social at 7:00 P.M.) at the Johns Hopkins University/Applied Physics Laboratory in Laurel, Maryland

Munchies and soft drinks will be served at 7:00 PM, the general meeting will start at 7:30 PM, followed by the program.

The best-known of Ada-Europe's activities is its annual conference, the International Conference on Reliable Software Technologies. Also known as Ada-Europe, this conference provides an international forum for researchers, developers and users of reliable software technologies. Presentations and discussions cover applied and theoretical work currently conducted to support the development and maintenance of software systems.

The conference contained much relevant information on the software engineering of real-time and distributed systems useful to those building such systems. The highlights on Tuesday night will compress a week's worth of knowledge into a valuable packet so you can take advantage of the technical work presented at the conference without your actually attending the conference. Of particular interest to you will be a summary of the WG9 plans to evolve the Ada standard, ISO/IEC 8652: The Ada Programming Language, which many people are calling Ada 2005.

For more details, see the Ada-Europe 2003 Conference Home Page at: http://www.irit.fr/AdaEurope2003/

Mr. Currie Colket is the Chair of ACM SIGAda, the Chair of the SIGAda Ada Semantic Working Group, and Chair of the ISO WG9 ASIS Rapporteur Group. Mr. Colket is currently a software systems engineer for MITRE. His current tasks involve software engineering support for a variety of programs. He recently retired from the DoD where he served in the Air Force as an Airborne Surveillance Officer on AWACS, the Navy Deputy Director for the Ada Joint Program Office (AJPO), and a computer scientist for the United States Navy. Prior to his affiliation with MITRE, he was a consultant for the Software Program Manager's Network (SPMN). He has a Bachelor of Science from Case Institute of Technology, a Master of Business Administration from the University of Southern Mississippi and a Master of Science in Computer Science from the Ohio State University. His coordinates are:

2. Bill Bail

Since 1990, Dr. Bail has worked for The MITRE Corporation in McLean VA as a Computer Scientist in the Software Engineering Center (SWEC) . MITRE is a not-for-profit corporation chartered to provide systems engineering services to the U.S. Government agencies, primarily the DoD, the FAA, and the IRS. Within MITRE, the SWEC focuses on supporting various programs with consultation, particularly transitioning emerging technologies into practice.

Dr. Bail's technical areas of focus include dependable software design and assessment, techniques for software specification development, design methodologies, metric definition and application, and verification and validation. At MITRE, Dr. Bail is currently supporting the U.S. Navy, focusing on the practice of software engineering within PEO IWS (Integrated Warfare Systems), particularly as applied to large real-time systems. Prior to 1990, Dr. Bail worked at Intermetrics Inc. in Bethesda MD.

Previously, Dr. Bail taught part-time at The University of Maryland from 1983-1986 in the Computer Science Department for undergraduate courses in discrete mathematics, computer architecture, and programming language theory. Since 1989 he has served as an part-time Adjunct Associate Professor at the University of Maryland University College where he develops instructional materials and teaches courses in software engineering, in topics such as Software Requirements, Verification and Validation, Software Design, Software Engineering, Fault Tolerant Software, and others. He has also presented tutorials in Cleanroom Software Engineering at SIGAda in 2000, and at AdaEurope in 2002, as well as tutorials in Ada in the early 1990s.

Dr. Bail received a BS in Mathematics from Carnegie Institute of Technology, and an MS and Ph.D. in Computer Science from the University of Maryland.

At the DC SIGAda meeting on 8 May 2003, Karl Nyberg of the Grebyn Corporation gave an excellent presentation titled: Optical Character Recognition (OCR) of Cryptographic Source Code. Slides from his presentation are available online as a Powerpoint Presentation at http://www.acm.org/sigada/locals/dc/200305_OCR_of_Cryptographic_Source_Code.ppt (ppt, 118KB).

• 9 October 2003 - The next meeting of the ACM DC SIGAda Chapter Meeting for Thursday - Steve Grimaldi and Victor Giddings of OIS will be speaking on Real-time MILS CORBA: High Assurance Security for Real-time, Distributed Systems.
• 11 November 2003 - The next meeting of the ACM Baltimore SIGAda Chapter Meeting for Tuesday - Lester Sussman will be speaking on Writing and Filing US Patents - From a Software Perspective.
• 7-11 December 2003 - SIGAda 2003 will be held in San Diego, California. Details at http://www.acm.org/sigada/conf/sigada2003

Please provide suggestions on the Web site and its contents. We are particularly interested in ways the DC SIGAda Home Page can serve you better.

Consider subscribing to our e-mail list. Simply send an email to:

with the body containing:

To be removed from the list, send an email request to:

with the body containing:

Please forward this message to people who might be interested in attending. We welcome all new members as our attendance and interests grow.

Many thanks to all earlier participants, contributors, speakers, advisors, and friends, who are involved in helping to produce and attend the meetings.