Vous êtes ici : Annuaire > Entreprises > Informatique > Ingénierie informatique

Membre WebRankInfo ?

Connexion

Inscription

Aide

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

Ingénierie informatique

Présentation 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.

Catégorie : le site www.bmethod.com est classé dans Ingénierie informatique

Annonces Ingénierie informatique : déposez votre petite annonce gratuitement !

Fiche thématique du site www.bmethod.com

Voici d'autres rubriques qui peuvent également vous intéresser :

  • B2007 Conference - B Method and B Language : ClearSy participated in the B2007 Conference in Besancon, held from January 17 to 19. In the context of our Research and Development that we are conducting with ...
  • Patrons de conception prouvés : ... dans le cadre des méthodes formelles de conception de systèmes, ... Utilisation de méthodes formelles, Jautomatise n°42 Septembre-Octobre 2005. Rodin. ...
  • B Tools Forum • Afficher le sujet - Bugs report : Outils B / B Tools ... header files when using hand-written source code developed outside Atelier B. ... a project with Atelier B 4.0 beta 1. Temporary ...
  • ClearSy Publications : ClearSy publishes its R&D works in conference proceedings and reviews. ... Modélisation en B événementiel des fonctions mécaniques, électriques et ...

Boostez votre netlinking !

Les rubriques ci-dessous ont pour objectif de vous aider à améliorer votre netlinking et donc votre référencement. Voyez comment établir un partenariat avec le site B Method, site dédié à la méthode formelle B ou avec d'autres sites de la même thématique (Ingénierie informatique).

Echanges de liens

ClearSy 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 ?

Le site B Method, site dédié à la méthode formelle B ne contient pas d'annuaire.

Autres sites pour partenariats

Si vous souhaitez établir des partenariats dans la thématique Ingénierie informatique, consultez également ces sites :

  • b method 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
  • génie logiciel 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
  • méthode B 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
  • clearsy sytem engineering 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
  • langage B 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
  • pmu 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.
    Equitation : Pronostics Hippiques
    la-glorieuse-incertitude-du-turf.blogspot.com
  • message 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.
    Santé : Médecine alternative
    www.moneyron.com
  • livre pilates 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.
    Bien-être : Pilates
    www.boutique-pilates.com
  • apprendre l'anglais facilement FastLearn : méthode d'anglais gratuite en 30 leçons
    Fastlearn est une méthode d'anglais gratuite en 30 leçons. Chaque leçon se compose d'un texte à écouter puis à lire, d'un cours de grammaire, d'une liste de vocabulaire et de 5 exercices de compréhension et de traduction. Pour valider une leçon et pouvoir passer à la suivante, il faut obtenir une note minimale de 10/20 aux 5 exercices de compréhension, de grammaire et de vocabulaire. La devise de Fast Learn : Aller à son rythme et progresser
    Apprendre les langues : Apprendre l'anglais
    www.fastlearn.fr
  • créativité 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.
    Entreprises : Services aux entreprises
    www.innovez.eu
  • système ferroviaire 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
  • carnet de route 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.
    Force : Musculation
    lekymcoblog.canalblog.com
  • perfectionnement concours hippique 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.
    Equitation : Cavaliers
    www.methode-michel-robert.com
  • Maria Montessori une pédagogue italienne 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.
    Enseignement et formation : Formations individuelles
    www.montessori-formations.fr
  • mincir à satiété Kot, méthode de régime basée sur la satiété
    Kot est une solution de régime basée sur la satiété et à IG bas permettant de rééduquer son alimentation. Bien plus qu'une méthode, Kot vous donne les clés pour perdre du poids sans reprendre vos kilos. Parce qu'on doit être à l'écoute de notre corps, cette méthode permet d'éviter les pièges du yoyo et vous réconcilie avec la nourriture.
    Nutrition et diététique : Amincissement
    www.kot-regime-blog.fr
  • entraînement spécifique La préparation physique et mentale appliquée
    Méthode de préparation physique nouvelle et fondamentale. Cette méthode est basé sur l'expression de l'intelligence du corps et de ces possibilités naturelles. Nous faisons des expertises médicales et sportive adaptable dans toute préparation physique. Toutes les informations données sont des outils de prévention pour tout entraînement sportif. Une équipe pluridisciplinaire et qui parle le même langage au service de l'athlète.
    Sport : Entraînement
    www.prepaphysiquefondamentale.com
  • pierre dukan 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.
    Santé et beauté : Régimes alimentaires
    www.regimedukan.com
  • phobie Thérapie brève méthode Noétique
    Méthode de thérapie brève fondée sur l'autodestruction de la souffrance par sa transformation en conscience. La méthode guide ce processus. Formation de thérapeute et coach, séjour thérapeutique, dépression, stress, toc, phobie, tout mal-être.
    Santé : Santé mentale
    noetique.monsite.wanadoo.fr
  • methode lecture La Planète des Alphas - Méthode d'apprentissage de la lecture
    La Planète des Alphas est une méthode ludique d'apprentissage de la lecture pour enfant. Une méthode de lecture efficace, aussi bien pour apprendre à lire aux jeunes enfants dès 4 ans (maternelle, CP) que pour la rééducation des troubles de l'apprentissage de la lecture (dyslexie, dysphasie, dyspraxie, troubles des déficits de l'attention avec ou sans hyperactivité TDHA, handicap physique et mental) ou simple blocage de l'apprentissage de la lecture
    Enseignement et formation : Enseignement secondaire
    www.planete-alphas.net
  • pronostic gagnant 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é+
    Equitation : Pronostics Hippiques
    www.jeusimplegagnant.com

Crédits vignette : Robothumb

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.

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.