ACM SIGADA Home Page

HILT 2012: Boston, Massachusetts, USA

• 
  Ben Brosgol, Jeff Boleng, S. Tucker Taft (Eds.): Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. ACM 2012 ISBN 978-1-4503-1505-0 [ contents ]

SIGAda 2011: Denver, Colorado, USA

• 
  Ricky E. Sward, Michael Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng (Eds.): Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011. ACM 2011 ISBN 978-1-4503-1028-4 [ contents ]

SIGAda 2010: Fairfax, Virginia, USA

• 
  Alok Srivastava, Jeff Boleng (Eds.): Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. ACM 2010 ISBN 978-1-4503-0027-8 [ contents ]

SIGAda 2009: Saint Petersburg, Florida, USA

• 
  Greg Gicca, Jeff Boleng (Eds.): Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009. ACM 2009 ISBN 978-1-60558-475-1 [ contents ]

SIGAda 2008: Portland, OR, USA

• 
  Michael B. Feldman, Leemon C. Baird III (Eds.): Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008. ACM 2008 ISBN 978-1-60558-274-0 [ contents ]

SIGAda 2007: Fairfax, Virginia, USA

• 
  Alok Srivastava, Leemon C. Baird III (Eds.): Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007. ACM 2007 ISBN 978-1-59593-876-3 [ contents ]

SIGAda 2006: Albuquerque, New Mexico, USA

• 
  Greg Gicca, Ricky E. Sward, Leemon C. Baird III (Eds.): Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006. ACM 2006 ISBN 1-59593-563-0 [ contents ]

SIGAda 2005: Atlanta, GA, USA

• 
  John W. McCormick, Leemon C. Baird III (Eds.): Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005. ACM 2005 ISBN 1-59593-185-6 [ contents ]

SIGAda 2004: Atlanta, GA, USA

• 
  John W. McCormick, Ricky E. Sward (Eds.): Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004. ACM 2004 ISBN 1-58113-906-3 [ contents ]

SIGAda 2003: San Diego, CA, USA

• 
  Robert C. Leif, Ricky E. Sward (Eds.): Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. ACM 2003 ISBN 1-58113-476-2 [ contents ]

SIGAda 2002: Houston, Texas, USA

• 
  Salih Yurttas, John McCormick (Eds.): Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002. ACM 2002 ISBN 1-58113-611-0 [ contents ]

- SIGAda 2002 Home Page

SIGAda 2001: Bloomington, Minnesota, USA

Proceedings ACM SIGAda Annual International Conference (SIGAda 2001), September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA. ACM, 2001
Contents - SIGAda 2001 Home Page

SIGAda 2000: Laurel, MD, USA

SIGAda 2000 Home Page

SIGAda 1999: Redondo Beach, CA, USA

Proceedings ACM SIGAda Annual International Conference (SIGAda 1999), The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, October 17-21, 1999, Redondo Beach, CA, USA. ACM, 1999
Contents - SIGAda 1999 Home Page

SIGAda 1998: Washington, DC, USA

SIGAda '98. Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, November 8-12, 1998, Washington, DC, USA. ACM
Contents - SIGAda 1998 Home Page

TRI-Ada 1997: St. Louis, Missouri, USA

TRI-Ada '97 Conference, The annual meeting of the Ada programming world, November 9-13, 1997, St. Louis, Missouri, USA, Proceedings. ACM, 1997, ISBN 0-89791-981-5
Contents

TRI-Ada 1996: Philadelphia, Pennsylvania

TRI-Ada '96 Conference, The annual meeting of the Ada programming world, December 3-7, 1996, Philadelphia, Pennsylvania, USA, Proceedings. ACM, 1996, ISBN 0-89791-808-8
Contents

TRI-Ada 1995: Anaheim, CA, USA

TRI-Ada '95. Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, November 5-10, 1995, Anaheim, CA, USA. ACM
Contents

TRI-Ada 1994: Baltimore, Maryland, USA

Proceedings of the 1994 Conference on TRI-Ada '94, November 6-11, 1994, Baltimore, Maryland, USA. ACM, 1994
Contents

TRI-Ada 1993: Seattle, Washington, USA

Conference Proceedings on TRI-Ada '93, September 18-23, 1993, Seattle, Washington, USA. ACM, 1993
Contents

TRI-Ada 1992: Orlando, Florida, USA

Conference Proceedings on TRI-Ada '92, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents

Tutorial Proceedings on TRI-Ada '92, Volume 1, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents

Tutorial Proceedings on TRI-Ada '92, Volume 2, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents

Towards a Formal Description of Ada 1980

• 
  Dines Bjørner, Ole N. Oest (Eds.): Towards a Formal Description of Ada. Springer 1980 Lecture Notes in Computer Science 98 ISBN 3-540-10283-3 [ contents ]

Design and Implementation of Programming Languages 1976: Ithaca, NY, USA

• 
  John H. Williams, David A. Fisher (Eds.): Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Springer 1977 Lecture Notes in Computer Science 54 ISBN 3-540-08360-X [ contents ]