Publié le: 07/10/2008 @ 23:07:21: Par Nic007 Dans "Logiciels"
LogicielsLa NSA, l'agence de sécurité américaine, vient d'attribuer à la société britannique Praxis High Integrity Systems le projet Tokeneer, et ce en vue de créer un exemple d'ingénierie logicielle à haute garantie. Le projet utilise le langage SPARK Ada et l'environnement de développement GNAT Pro d'AdaCore. De fait, c'est la première fois qu'un projet d'une telle ampleur est mis à disposition de la communauté open-source. Ce projet vise à montrer comment des logiciels hautement sécurisés peuvent être développés en optimisant le rapport performances-coût.
Envoyer une nouvelle à un ami
Sujet:
Email:
Texte:
 
Informaticien.be - © 2002-2024 AkretioSPRL  - Generated via Kelare
The Akretio Network: Akretio - Freedelity - KelCommerce - Votre publicité sur informaticien.be ?