METHODES FORMELLES |
CELAR | Adéquation de la technologie B pour la recherche de vulnérabilité d'une cible d'évaluation. |
ALCATEL |
Formation à la notation Z.
Conseil pour l'intégration de la notation Z dans un processus de test de production de radio téléphone. Rédaction d'une spécification pilote, de services de tests prenant en compte l'existant, c'est à dire un langage de spécification semi formel, et intégrant la notation Z comme langage formel. Rédaction de spécification formelle de câblage d'interconnexion d'une baie de test. |
GDF |
Etude visant à établir une meilleure maîtrise des développements des logiciels à fortes contraintes de sûreté de fonctionnement :
|
Matra Transport International | Participation à la mise en oeuvre d'un processus de validation de développement formel en B. |
Vos contacts : - Responsable marketing, - Responsable technique
Copyright © 1996, 1997 - Alliance Qualité Logiciel - Dernière mise-à-jour : 26 Mars 1997