Accueil l Actualité l Présentation l Manuels l Télécharger l Références Industrielles l Liens l Contact   -

Bienvenue sur le site CompoSys

Méthode et Outil dédié aux descriptions formelles de systèmes

Qu'est-ce que CompoSys ?

CompoSys est un outil de conception formelle d'architecture système.

Développé par la société ClearSy, société spécialiste en développement de systèmes sécuritaires, CompoSys est un outil de modélisation de systèmes qui bénéficie des outils formels et de l'expérience de l'Atelier B. CompoSys possède de nombreuses fonctionnalités, parmi lesquelles nous pouvons compter :

  • un processus de modélisation couplée : méthode formelle B / langage naturel
  • des vérifications automatiques et semi-automatiques de la cohérence du modèle
  • une génération automatique du document final et de différentes vues du système
  

Actualité CompoSys

CompoSys 1.6 désormais disponible...

CompoSys est désormais disponible dans sa version 1.6. La version Linux sera quand à elle mise à disposition prochainement...

 

Télécharger CompoSys...

Pour utiliser CompoSys et obtenir son lien de téléchargement, renseignez votre adresse mail dans le formulaire ci-dessous. Vous recevrez alors par courriel les instructions nécessaires pour télécharger CompoSys.

Je souhaite télécharger CompoSys

Email:
 

Les Sites et Outils Formels de ClearSy...

ClearSy, spécialiste des Systèmes Sécuritaires  Atelier B Brama.fr CompoSys.fr  Traducteur ComenC Méthode B.com Fersil.fr COPP

Newsletter...

Adresse email :   Inscription Désinscription

Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant.