Méthodes Formelles

Sites de l'annuaire : Méthodes Formelles

• 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. Voir la fiche détaillée

Sites complémentaires à cette catégorie

• 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. Voir la fiche détaillée
• 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 [...] Voir la fiche détaillée
• 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[...] Voir la fiche détaillée

• 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é[...] Voir la fiche détaillée
• 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'un[...] Voir la fiche détaillée
• 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[...] Voir la fiche détaillée
• Modèles de lettres et de discours
  Vous cherchez un modèle de lettre ? Modele-et-lettre.com : des modèles de lettres et de discours types à télécharger pour toutes les situations courantes de la vie (lettre de motivation, demandes diverses, lettres formelles...) Voir la fiche détaillée

• 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. Voir la fiche détaillée
• Notre métier : former des coachs spécialisés entreprises
  Nos formations certifiantes en Coaching permettent de maîtriser les outils et méthodes spécifiques du coaching en entreprise et du coaching d'équipe. Votre projet professionnel ou personnel est au centre de votre formation. Certification de coach-consultant en cohésion d'équipe et dynamique du changement. Formation de formateurs. Voir la fiche détaillée
• Gagnez aux courses grâce à nos pronos
  Gagnez jusqu'à 1000 euros par mois grâce à nos pronos de 3 chevaux . Des méthodes de jeux inédites tous les mois. gagnez contre le pmu grâce à nos pronostiques et des méthodes de jeux 100 % gagnantes. Méthodes pour le jeu simple gagnant, le couplé, le tiercé, le quarté, le quinté+ Voir la fiche détaillée

Référencement Méthodes Formelles

Référencer un site dans cette rubrique est gratuit, respectez simplement ces consignes :

• d'abord vérifiez que le site à référencer respecte les règles de l'annuaire
• si votre site est associé à un lieu géographique, inscrivez-le dans la sous-catégorie de : pays, régions, départements ou villes adaptée à la thématique de votre site
• sinon, vous pouvez référencer un site dans l'annuaire (Méthodes Formelles)

Inscrire un site dans l'annuaire Méthodes Formelles
Recherche - Nouveaux sites - FAQ - Contact