Ada on the WWW

The information provided here was copied from the Ada FAQ (maintained by Magnus Kempe), the ACM/SIGAda web pages, and some information from the AdaIC.  Http address accuracy has been checked on some of the listings, but not all.

There is a wealth of Ada information and Ada software available  on the WWW.   Four good starting points are:
	1) the SIGAda web site: http://acm.org/sigada/,
	2) the AdaIC http://sw-eng.falls-church.va.us/,
	3) comp.lang.ada list server (INFO-ADA@LISTSERV.NODAK.EDU) &
	4) the Ada Software Engineering Lab at the Swiss Federal Institute of
	     Technology
	     (http://lglwww.epfl.ch/Ada/) which hosts 3 companion FAQs:
	        Ada/programming, Ada/learning, and Ada/ada-www-server.

Academic & Not for Profit Organizations
     Association Computing Machinery (ACM) SIGAda	 http://info.acm.org/sigada/	
     Ada Information Clearinghouse	http://sw-eng.falls-church.va.us/AdaIC/	 
Ada-Belgium Organization	  http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/	
Ada-Spain	 http://www.ada.es/	 
AiS/Ada-Sweden	 http://www.docs.uu.se/ais/	
Ada Software Engineering Lab, Swiss Federal Inst. Tech.	 http://lglwww.epfl.ch/Ada/	 
    Software Engineering Institute	 http://www.sei.cmu.edu/	 

Compiler Vendors
     Active Engineering	 http://www.pcada.com/	
     Ada Core Technologies (ACT)	 http://www.gnat.com/	
 Convex	http://www.convex.com	 
Cray	 http://www.cray.com/	
 DDC-I 	http://www.ddci.dk/ddci/	 
DEC	 http://www.digital.com/	
 Green Hills	 http://ghs.com/ghs/html/ghs.html.questions/	
 Haris Computer Systems Corporation	 http://www.csd.harris.com/	
 Intermetrics	 http://www.inmet.com/	
Irvine Compiler Corp (ICC)	 info@irvine.com	 
OC Systems	http://ocsystems.com/	
 Rational Software Corporation	 http://www.rational.com/	
 Silicon Graphics	http://www.sgi.com/	 
Tartan (Texas Instruments)	 customer-support@tartan.com	
     Thomson Software Products	 http://www.thomsoft.com/	
More Cool Stuff
     The Public Ada Library	 www://wuarchive.wustl.edu/languages/ada/
newpal.html/
also:
ftp://wuarchive.wustl.edu/languages/ada
also
 gopher://wuarchive.wustl.edu:70/11/languages/80	 
    Michael Feldman’s book list	 http://www.seas.gwu.edu/faculty/mfeldman/
ada95books.html/	
 The GNAT Ada compilers	 http://www.gnat.com/	
 ASIS
(Ada Semantic Interface Spec.)	 http://info.acm.org/sigada/asiswg.html/
and
ftp://sw-eng.falls-church.va.us/public/ AdaIC/work-grp/assiswg/	
     Ada-Based Test Program Development combining IEEE1226.1&1226.2
F22 A Broad Based Environment for Test, ABBET also ATLAS 95 ABETT IEEE STANDARDS PROJECT P1446	 http://www.erols.com/whitaker/p1446.htm/	 

Books!
(from:  http://www.seas.gwu.edu/faculty/mfeldman/ada95books.html)
Maintained by Michael B. Feldman   Education Working Group Chair, ACM Special Interest Group on Ada (SIGAda)

Group 1: Books Suitable for a First Course in Programming
Ada 95: Problem Solving and Program Design, Michael Feldman and Elliot Koffman, Addison-Wesley, 1996. (ISBN 0-201-87009-6) 

Ada from the Beginning. (2nd ed.),  Jan Skansholm. Addison-Wesley, 1994. (ISBN 0-201-62448-6)

Group 2: Books on Specific Topics, with Ada 95 as the Language of Discourse
Concurrency In Ada Alan Burns and Andy Wellings. Cambridge University Press, 1995. (ISBN 0-521-41471-7) (Concurrent Programming and Real-Time Systems)

Software Construction and Data Structures with Ada 95. Michael B. Feldman, Addison Wesley, 1996. (ISBN 0-201-88795-9) (CS2/data structures)

Object-Oriented Software in Ada 95,Michael A. Smith. International Thomson Computer Press, 1996. (ISBN 1-85032-185-X) (Object-Oriented Programming for Advanced Undergraduates).

Group 3: General Texts Covering All of Ada 95
Programming In Ada 95, first edition, John Barnes. Addison-Wesley, 1995. (ISBN 0-201-87700-7).

Ada as a Second Language (2nd Edition) Norman Cohen. McGraw Hill, 1996. (ISBN 0-07-011607-5).

Rendezvous with Ada 95 David J. Naiditch. John Wiley and Sons, 1995. (ISBN 0-471-01276-9)

Disclaimer:  The following list is provided for your convenience by San Diego ACM SIGAda.  This is not a complete list of all vendors or sources of information on the net.  The http addresses were taken from the net any may not be up to date or accurate.  The presence of an http listing, company, or product on this list does not constitute an endorsement by the ACM, ACM SIGAda or any of its affiliates.