AQL

METHODES FORMELLES


Compétences :


Offre :


Références :

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 :
  • automatisation dans la génération de code,
  • amélioration des activités de vérification et de validation.
Matra Transport International Participation à la mise en oeuvre d'un processus de validation de développement formel en B.

Drivers - TV Numérique - Intranet - Méthodes formelles - Sécurité
Accueil - AQL - Carte du site -

Vos contacts : - Responsable marketing, - Responsable technique
Copyright © 1996, 1997 - Alliance Qualité Logiciel - Dernière mise-à-jour : 26 Mars 1997