Who's Using Ada?
Real-world projects powered by Ada.
Translating Formal Specifications of Transfer-Protocols to Ada95
Ada95 and Formal Specifications in cTLA+.
Standardised Object Oriented Parallelism
It is equal to Ada95.
Reuseable Software Components
Listing of Reuseable Software Components.
Resources on Ada: Managing Complexity
Many categorized links: books, compilers, tutorials, tools, libraries, methods, comparisons, humor; some C, C++, Fortran, Java.
OC Systems
Powerful Testing, Debugging and Development Tools.
LGL - Ada Resources
Components, libraries, manuals. Organization and book links.
Kernel Ada for an HDL
This paper is a call to SIGAda members to make a determined thrust to broaden Ada usage in the commercial world.
Integrating OO and Protected Objects in Ada
Study guide for Integrating Object-Oriented Programming and Protect Objects in Ada. Links and resources are available.
In the Movie Out There
Ada reference in the movie Out There.
[ 1 ] [ 2 ] [ 3 ] [ 4 ]
|
