- Ada Home -- An excellent source for all things Ada.
- AdaIC -- Ada Information Clearinghouse.
- AdaPower -- Another excellent site for Ada programming information including Ada
programming on the Windows® operating system.
- Ada 95 Reference
Manual -- On-line Ada 95 Reference Manual.
- Ada
Bindings -- A resource of bindings for the Ada 95 language.
- Ada
Sites -- A portal to Ada information provided by IBM.
- SPARK
-- Ada subset for super-safety-critical systems. Praxis
Critical Systems Limited
|
Tools
AdaGIDE
-- Free IDE for the GNAT Ada compiler from the US Air Force.
References
Ada 95
Reference Manual -- On-line HTML version
of the Ada 95 Language Reference Manual
Ada
95 Quality And Style -- on line style guide to quality Ada
coding.
End
of Ada Mandate Letter
|
