• Configuration de l'affichage du site :
  • Affichage en pleine largeur
  • Affichage en basse résolution (800px)
  • Affichage en texte seul
Rechercher [ Plan du site ]

Référencement :
conseils, outils, actualité, forum
tout ça gratuit !

Annonces Méthodes Formelles

Nous avons trouvé 6 petites annonces Méthodes Formelles

Petites annonces
Annonces gratuites

Dans l'annuaire

  • Brama, outil de modélisation graphique de modèle formel B
    Brama est une application de modélisation graphique appliqué aux méthodes formelles B. Elle permet de représenter au travers d'une animation la simulatio d'un modèle développé à l'aide de méthodes formelles. Distribué par la société ClearSy System Engineering, Brama propose à l'internaute de télécharger l'outil et de le découvrir au travers de nombreuses démos.
  • Fersil, Systèmes Sécuritaires Ferroviaires, SIL1, SIL2, SIL3 et SIL4
    Fersil présente l'offre de la société ClearSy,en matière de systèmes sécuritaires ferroviaires. ClearSy y expose sa maîtrise des méthodes formelles, de la sûreté de fonctionnement et de la méthode B. Les systèmes sont adaptés au secteur ferroviaire, et proposent des solutions adaptées aux transports urbains ferrés, tels que les tramways, le métro, les trains...etc. Tous sont développés dans un cadre sécuritaires, sous les normes SIL1, SIL2, SIL3 ou SIL4.
  • ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques
    ClearSy est une société d'ingénierie, spécialisée dans les systèmes sécuritaires. Elle développe principalement des systèmes et logiciels avec des garanties étendues, à l'aide des méthodes formelles et de la méthode B... Auteur de la plateforme de génie logiciel Atelier B, ClearSy assure aussi des travaux de Recherche et de Développement autour des techniques de modélisation de systèmes, dans le but de réaliser des systèmes industriels sûrs et sans défaut... Pour diminuer le risque projet de vos systèmes complexes et répondre à vos attentes de sûreté et de fiabilité dans le respect des contraintes économiques d'aujourd'hui, ClearSy est donc spécialisée dans les domaines suivants : Ingénierie de Systèmes - Développement de logiciels garantis - Vérification formelle de spécifications systèmes et logicielles - Qualification et études de sûreté de fonctionnement - Développement et maintenance d'outils d'ingénierie spécifique Recherche et Développement - Innovation méthodologique - Expérimentation de modélisation - Réalisation de logiciels d'ingénierie
  • Méthode B : langage B et outils associés
    Présentation de la méthode B, méthode de spécification formelle qui permet, grâce à un langage adéquat, d'exprimer très rigoureusement les propriétés exigées dans un cahier des charges. Le site présente la méthode B, ses outils associés, ainsi que les différents travaux menés dans ce domaine.
  • ComenC, Traducteur d'implémentations B0 vers le langage C
    Site dédié au traducteur ComenC. Il permet de traduire des implémentations B0 vers le langage C. Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches. Par rapport aux traducteurs précédents, le traducteur ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine.
  • Atelier B, outil industriel pour appliquer opérationnellement la méthode B
    Développé par la société ClearSy, l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements logiciels prouvés sans défaut. Pour cela, il fait appel à la modélisation formelle des spécifications du logiciel, leur raffinement jusqu'à obtention d'un modèle implémentable, ainsi qu'à la preuve mathématique que l'implémentation ne contredit pas la spécification du logiciel. l'Atelier B a notamment été utilisé pour le développement des automatismes sécuritaires du métro automatique par Siemens.
  • Ergotime - Formations Consultants Méthodes Industrielles et Ergonomie
    Ergotime, fournisseur de solutions en cotation ergotechnique. A votre disposition méthodes et outils logiciels dans le but de définir le meilleur compromis entre conditions de travail et contraintes de production. Cabinet conseil en méthodes industrielles Nos spécialistes vous sont disponibles afin de promouvoir l'accroissement de votre productivité et votre compétitivité en respectant les régles du Lean Manufacturing ... Centre de formation Techniciens méthodes, Méthodes bases, MTS, Modapts, Chrono, Ergotechnique, Kanban, SMED, AMDEC ... Intervention internationale
  • B Method, site dédié à la méthode formelle B
    B Method a pour objectif de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve. Nous y listons également l'ensemble des outils et applications basés sur la méthode B, ainsi que les projets majeurs la concernant. L'objectif de la méthode B est simple : elle permet de définir le comportement d'un programme, par le biais d'une modélisation abstraite. Les raffinements successifs de ce modèle permettent ensuite d'obtenir un modèle concret, sous-ensemble du langage transcodable en Ada ou en C. La Méthode B a pour objectif majeur de formaliser et de prouver l'ensemble des spécifications du programme de façon à obtenir le zéro défaut.
  • Savoir Vendre : cours de vente en ligne
    Dominique Angenault propose ces cours de vente en ligne à travers diverses techniques et méthodes de ventes et un quizz pour tester ses connaissances.
  • Ecole de musique en ligne en dvd, mp3, partitions, methodes,
    Apprenez la Musique en ligne . En dvd, partitions, méthodes et traités. Tout sur l'harmonie, la composition, l'arrangement, le piano jazz et classique, la chanson, l'accompagnement et le solfège. Boutique en ligne, cours particuliers et services studio Pro.