Projects tagged ‘ada’ and ‘software_development’

SPARK is a a programming language and associated verification tools for the development of high integrity software used in applications and systems where predictable and highly reliable operation is ... [More] essential either for reasons of safety or for business integrity. [Less]

To port the excellent and widely used GNAT package heirarchy to other Ada95 compilers - primarly Aonix ObjectAda/Windows - by removing the GNAT specific language extensions.

AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).

A new Eclipse Plugin for ADA developpement. For the moment the plugin works with : - Syntax coloration - Compilation (Not debug mode) - Autocompletion - Package manager (some imporovement have to be done)