Date de diffusion : 18/07/2007
Nouvelles Fonctionnalités / Caractéristiques :

L’Atelier B 3.7 apporte de nombreuses améliorations aux fonctionnalités majeures de l’Atelier B afin de faciliter le travail du développeur :

  • interface utilisateur : non limitation des noms de projet, amélioration de la commande make, meilleur archivage des projets, modification du bandeau, rafraichissement de la liste des projets et des composants, état des composants non prouvés, état de composant non prouvé et de projet incomplet, ajout/suppression de composants, filtre sur la liste des projets, gestion des fichiers pmm, archivage des fichiers spécifiques, ressources graphiques par utilisateur.
  • preuve : paramétrage d’un temps de coupure des outils de preuve, ajout de nouvelles commandes et alias, mécanismes du moniteur de preuve plus efficaces, concaténation des théories User_Pass, mode trace pour l’application des règles de l’utilisateur, facilitation de la réutilisation de démonstrations, générateur d’obligations de preuve optimisé.
  • système : passage de la base de données des projets en mode texte (format xml), modification du système de licence, amélioration de la gestion des dépendances, gestion des bibliothèques du projet en local.
AMELIORATIONS DE L’INTERFACE UTILISATEUR :

  • la taille des noms de projets
  • l’amélioration de la commande make
  • l’archivage des projets plus permissif
  • les modifications du bandeau d’interface utilisateur
  • le rafraichissement des listes de projets et de composants
  • l’état des composants non prouvés
  • l’état projet incomplet
  • l’ajout / suppression de composants
  • les filtres sur la liste des projets
  • la gestion des fichiers pmm
  • l’archivage de fichiers spécifiques
  • les ressources graphiques par utilisateur
 MODIFICATIONS LIEES A L’ACTIVITES DE PREUVE :

  • le temps de coupure de la preuve automatique
  • le temps de coupure du prouveur de prédicat
  • la création de nouvelles commandes et alias
  • l’amélioration du moniteur de preuve
  • la concaténation des User Pass
  • le Mode Trace pour ApplyRule
  • l’amélioration du générateur d’obligations de preuve
  • les commandes Mhyp, Mgoal, Shyp, Sgoal

 

AMELIORATION DU SYSTEME :

  • le passage du fichier .db en mode texte
  • la gestion des bibliothèques en local du projet la modification du système de gestion de licence la simplification du fichier .db / amélioration gestion des dépendances.