Vous êtes ici : Annuaire > Annonces Méthodes Formelles

Membre WebRankInfo ?

Connexion

Inscription

Aide

Annonces Méthodes Formelles

Nous avons trouvé 4 petites annonces Méthodes Formelles

Petites annonces
Annonces gratuites

Voir aussi...

Vous aussi, postez une annonce gratuitement !

Cliquez ici pour publier votre annonce gratuite

  • animations graphiques 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.
    Informatique : Ingénierie informatique
    www.brama.fr
  • sûreté de fonctionnement 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.
    Informatique : Ingénierie informatique
    www.fersil.fr
  • niveau 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
    Informatique : Ingénierie informatique
    www.clearsy.com
  • Site : Modèles de lettres et de discours 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...)
    Emploi : Lettre de motivation
    www.modele-et-lettre.com
  • atelier b 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.
    Ingénierie informatique : Méthodes Formelles
    www.methode-b.com
  • méthodes formelles 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.
    Informatique : Ingénierie informatique
    www.comenc.eu
  • langage b 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.
    Informatique : Ingénierie informatique
    www.atelierb.eu
  • modélisation b 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.
    Informatique : Ingénierie informatique
    www.bmethod.com

Hébergement web

Sivit

Pour un bon référencement, il faut un bon hébergeur. Testez Sivit, l'hébergeur choisi par Olivier Duffez pour son site WebRankInfo (+ de 3 millions de visites/mois). Vous bénéficiez d'une garantie 30 jours satisfait ou remboursé.

A partir de 1,90 EUR HT/mois.

A la une sur WebRankInfo

Formation au référencement

Découvrez le programme de formation au référencement le plus complet : méthodologie d'optimisation du référencement Google, sites dynamiques, stratégies de liens, blogs, formation juridique Internet, Google Analytics, taux de transformation, ROI, etc.

Ce cycle de formation peut être pris en compte par votre budget formation... profitez-en !

Cette formation est assurée notamment par Olivier Duffez, créateur du site WebRankInfo et consultant indépendant en référencement.

Détails et inscription

Derniers sites inscrits

Référencer son site Référencement gratuit de site

Informations

Environ 200 catégories dans cet annuaire sont issues de DMOZ. Vous aussi vous pouvez apporter votre contribution au répertoire le plus complet du web, maintenu par des humains : n'hésitez pas à inscrire votre site dans DMOZ en plus de l'annuaire WebRankInfo et même à devenir éditeur sur DMOZ.