AdaPower
Ada Tools and Resources

http://cui.unige.ch/db-research/Enseignement/analyseinfo/Ada95/