• 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 !

Rechercher dans l'annuaire  Formulaire de contact / demande de modification  Les derniers sites inscrits  Proposer une nouvelle catégorie  Désolé l'ajout de site n'est pas ou plus possible dans cette catégorie

B Method, site dédié à la méthode formelle B

Fiche détaillée du site :

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.

Echanges de liens

Echange de liens possible avec ce siteClearSy est ouvert aux échanges de liens sur son site B Method, site dédié à la méthode formelle B.

  • ClearSy souhaite faire des échanges de type 1 lien contre 1 lien
  • ClearSy souhaite uniquement des liens au format texte

Annuaire ?

Pas d'annuaire sur ce siteLe site B Method, site dédié à la méthode formelle B ne contient pas d'annuaire.

Informations complémentaires

Catégorie : Ingénierie informatique

Ingénierie informatique

Autres sites

Si vous souhaitez faire des échanges de liens avec B Method, site dédié à la méthode formelle B, consultez également ces sites de thématique proche :

  • 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.
    Catégorie : Ingénierie informatique : Méthodes Formelles
    http://www.methode-b.com/
  • 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.
    Catégorie : Informatique : Ingénierie informatique
    http://www.comenc.eu
  • 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.
    Catégorie : Informatique : Ingénierie informatique
    http://www.atelierb.eu/
  • La glorieuse incertitude du Turf
    Comment jouer et gagner aux courses ! Une méthode de 1926 remise au goût du jour pour mieux parier aux courses hippiques.
    Catégorie : Equitation : Pronostics Hippiques
    http://la-glorieuse-incertitude-du-turf.blogspot.com/
  • Mots du corps - Fasciathérapie, écriture et lecture
    Consacré à la fasciathérapie Méthode Danis Bois, éducation gestuelle, sensorielle et libération des fascias (tissus conjonctifs, membranes qui entrourent muscles, viscère, os...). Et dédié au plaisir de lire des livres humainement nourrissants.
    Catégorie : Médecine alternative : Fasciathérapie
    http://www.motsducorps.com/
  • La Méthode Moneyron
    Apprentissage et Développement de la Méthode Moneyron. Description de la méthode, calendrier des formations et inscription aux stages.
    Catégorie : Santé : Médecine alternative
    http://www.moneyron.com/
  • Méthode pilates : exercices et accessoires
    La Boutique Pilates est dédiée à la méthode et aux exercices Pilates. Le site propose la vente d'accessoires, livres, dvd vidéo pour exercices physique et méthode pilates. Retrouvez forme, vitalité, santé, bien-être grâce à des méthodes faciles d'exercice pour étirement et relaxation. Vente d'équipement et matériel tel tapis de yoga, balle, fitball pilates.
    Catégorie : Bien-être : Pilates
    http://www.boutique-pilates.com/
  • Le Kymco Blog cranet de route méthode Lafay
    Ce site retrace ma reprise sportive suivant le méthode d'entrainement d'Olivier Lafay. Cette méthode se fait sans appareil de musculation et utilise uniquement le poids du corps. Mon évolution est suivie pas à pas au fil des mois.
    Catégorie : Force : Musculation
    http://lekymcoblog.canalblog.com/
  • 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
    Catégorie : Informatique : Ingénierie informatique
    http://www.clearsy.com/
  • Coaching - développement personnel et professionnel
    Ce Site est dédié à la méthode de coaching - agir juste et efficace destinée essentiellement aux dirigeants. Il présente la méthode dans son ensemble avec quelques exemples concrets d'application comme gestion du stress, gestion des émotions, affirmation de soi, confiance en soi, communication et management. Des professionnels ayant vécus un coaching agir juste et efficace donnent aussi leurs témoignages vérifiables. Cette méthode est le résultat de plus de 15 ans de recherches appliquée sur les potentialités humaines. Elle fournit des clés fondamentales et des moyens de les appliquer pour apprendre à agir juste avec efficacité et performance mais en évitant tout stress inutile et contre-productif.
    Catégorie : Management : Coaching
    http://www.agir-efficace.com/
  • Méthode de résolution créative ASIT, gestion de créativité
    Méthode de gestion de la créativité ASIT. Dérivée de la TRIZ, ASIT aide à innover de façon systématique et guide vers les solutions créatives.
    Catégorie : Commerce et économie : Services aux entreprises
    http://www.innovez.eu/
  • Luna Atra - Portail sur les MMORPG
    Portail Luna Atra - Portail sur les jeux vidéos en ligne (mmorpg, coorpg, mmog). Le portail présente des sites sur Guild Wars, Aion, Guild Wars 2, age of conan, warhammer online, wakfu, tabula rasa. Notre portail met à disposition de la communauté une encyclopédie sur les jeux en ligne sous forme d'un wiki et également des forums dédiés aux jeux.
    Catégorie : Jeux de rôle : Internet - MMORPG
    http://www.luna-atra.fr/
  • Méthode d'équitation Michel Robert
    Michel Robert 30 ans de carrière en concours hippiques au plus haut niveau. Cinq fois champion de France et plusieurs fois médaillés aux championnats d'Europe, du Monde, et aux Jeux Olympiques. Michel Robert vous propose à travers son DVD d'équitation « Méthode Michel Robert » et son livre « Méthode et Secret d'un grand champion » de vous faire profiter de toute son expérience.
    Catégorie : Equitation : Cavaliers
    http://www.methode-michel-robert.com/
  • Stage de formation pédagogie Montessori
    L'école nomade active Papachapito propose aux parents, enseignants, éducateurs..., des stages de formation à la méthode Montessori sur toute la France. La méthode Montessori est une pédagogie moderne, active, auto-corrective, adaptée, basée sur la liberté et le respect de l'enfant.
    Catégorie : Enseignement et formation : Formations individuelles
    http://www.montessori-formations.fr/
  • Régime Dukan, 1er site de Coaching minceur avec le Dr Pierre Dukan
    Régime Dukan, la 1ère communauté minceur du web, propose sur son site un Coaching minceur personnalisé. Basé sur la méthode du Dr Pierre Dukan, Nutritionniste, auteur du best seller je ne sais pas maigrir. A l'aide de questionnaire nous vous aidons à trouver et à atteindre votre juste poids.
    Catégorie : Santé et beauté : Régimes alimentaires
    http://www.regimedukan.com/

Autres catégories à consulter : Ingénierie, Annonces emploi informatique, News informatique, Informatique et santé, Informatique, Produits et services de sécurité informatique, Sociétés de Services en Informatique, Informatique, Informatique, Ergonomie informatique

Outils référencement

Voici quelques outils conçus pour vous aider à analyser le référencement du site http://www.bmethod.com/

GoogleGoogle et DMOZ :

AlexaInformations Alexa (plus d'infos) :

  • Classement (indice global lié au trafic) : 12 770 155
  • Classement (indice lié au nb de visiteurs) : 15 747 835
  • Nombre de liens (backlinks) : 0
  • Date de création du site :
  • Cliquez ici pour lire des explications sur ces chiffres (en anglais)

Analyse de la pageAnalyse de la page :

Autres outilsW3C :

Déclaration Opquast

Si ce site est déclaré au sein du projet MonOpquast (analyse de la qualité des sites web), une image apparaît ci-dessous avec le score obtenu (+ d'infos ici)

Autres outilsAutres outils :

Outils sur Web Rank InfoAutres analyses possibles sur Web Rank Info :

Dans le forum

Crédits vignettes : Robothumb