8, Dec, 2002 to 12, Dec, 2002
Houston at Clear Lake, Clear Lake, Texas, U.S.A.
Homepage: http://www.acm.org/sigada/conf/sigada2002/
Deadline: 3, Jun, 2002

Constructing reliable software is an engineering challenge. The application of methods, tools, and languages interrelate to make the challenge easier or more difficult. This conference focuses on the interaction among these three aspects of software engineering, especially how features in a language such as Ada drive the tools, methods, and ultimately correctness, reliability, and quality of the resulting software. Especially welcome are papers that analyze Ada with respect to these factors or in comparison with other languages. This conference will gather industrial experts, educators, software engineers, and researchers interested in developing and testing reliable software.