Program for Tuesday, 9 September 2003

Our Next Joint Meeting with the Baltimore SIGAda Chapter
is scheduled for
Tuesday, 9 September 2003 at 7:30 P.M.
Currie Colket and Bill Bail of MITRE
will be speaking on
Highlights of the 8th International Conference on Reliable Software Technologies
(Ada-Europe 2003)
Held at Toulouse, France from 16-20 June 2003

at the Baltimore SIGAda Venue
(Johns Hopkins University/Applied Physics Laboratory in Laurel, Maryland)


To Members and Friends of DC SIGAda

Next Meeting:

Our Next Meeting is scheduled for Tuesday, 9 September 2003, as a Joint Meeting of the Baltimore and DC SIGAda Chapters. Currie Colket and Bill Bail will be speaking on "Highlights of the 8th International Conference on Reliable Software Technologies (Ada-Europe 2003), Held at Toulouse, France from 16-20 June 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.

Abstract: Highlights of the 8th International Conference on Reliable Software Technologies (Ada-Europe 2003)

Ada-Europe is an international organization, set up to promote the use of Ada. It aims to spread the use and the knowledge of Ada and to promote its introduction into academic and research establishments. Above all, Ada-Europe intends to represent European interests in Ada and Ada-related matters. It was established according to Belgian Law and currently has member organizations of: Ada-Belgium, Ada-Denmark, Ada-Deutschland, Ada-France, Ada-Spain, Ada in Sweden, Ada in Switzerland and Ada UK.

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/


1. Currie Colket

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:

Currie Colket
The MITRE Corporation
7515 Colshire Drive
McLean, Virginia 22102-7508

Phone: +1 (703) 883-7381
FAX: +1 (703) 883-1339
Email: colket@mitre.org

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.

Bill Bail
The MITRE Corporation
7515 Colshire Drive
McLean, Virginia 22102-7508

Phone: +1 (703) 883-7590
FAX: +1 (703) 883-1339
Email: wbail@mitre.org

Directions From Washington, DC

From the Capital Beltway (I-495),
1. Take the I-95 North exit;
2. Exit onto MD Route 32 West, at the Columbia exit (~ 10 miles);
3. Left onto U.S. Route 29 South at light (~ 2.5 miles)
4. Right onto Johns Hopkins Rd at light to go WEST (~ 1.5 miles) (There is now a new style dual-traffic circle overpass/interchange, which replaced the traffic light at this intersection. - Those travelling North on 29 from Silver Springs will be turning Right onto Johns Hopkins Road in order to make a logical Left turn to go WEST)
5. APL is located to the right, just past the service station;
6. Turn right at the sign: "Building 1 Visitor Parking";
7. Use Building 1 entrance near the flag-pole; The meeting is in the cafeteria.

Detailed Directions and Maps are available at: http://www.acm.org/sigada/locals/dc/Directions_JHU_APL.html

Slides From Karl Nyberg's Presentation Available:

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).

Please Put on Your Calendar:

DC SIGAda Home Page and Maillist:

Please visit the DC SIGAda Web site at http://www.acm.org/sigada/locals/dc/ for additional information.

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:

subscribe SIGAda-DC Your Name

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


with the body containing:

signoff SIGAda-DC


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.

Jeff Castellow, Chair, DC SIGAda

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

updated 2 September 2003