• 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

Atelier B, outil industriel pour appliquer opérationnellement la méthode B

Fiche détaillée du site :

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.

Echanges de liens

Pas d'échange de liens possible avec ce siteClearSy ne souhaite pas faire d'échanges de liens sur son site Atelier B, outil industriel pour appliquer opérationnellement la méthode B.

Annuaire ?

Pas d'annuaire sur ce siteLe site Atelier B, outil industriel pour appliquer opérationnellement la méthode 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 Atelier B, outil industriel pour appliquer opérationnellement la méthode B, consultez également ces sites de thématique proche :

  • Atelier de sérigraphie et gravure : Summib
    Atelier de sérigraphie et gravure du Val de Marne - Marquage industriel durable, résistant et de qualité. Fabrique à l'unitaire ou en moyenne série : étiquettes, plaques, panneaux de signalisation, etc. Grande réactivité, précision et respect des normes.
    Catégorie : Produits et services industriels : Gravure et signalétique
    http://www.summib.com/
  • 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/
  • 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/
  • 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/
  • Assainissement industriel Protec dans l'Indre et Loire
    Assainissement industriel Nouâtre (37). La Sarl Protec, située à Nouâtre dans l'Indre et Loire, exécute tous travaux de vidange et curage, récupération de déchets industriels, nettoyage industriel, débouchage de canalisations, entretien des fosses d'aisance, vidange de bacs à graisse, nettoyage de cuves à fuel, évacuation des eaux usées, décapage THP 600 bars (37).
    Catégorie : Produits et services industriels : Assainissement et nettoyage
    http://www.curage-vidange-protect37.com/
  • Affûtage Industriel Gonet
    Affûtage Avon Les Roches (37). Affûtage Industriel Gonet propose la fabrication, la vente, l'entretien et la réparation d'outils techniques de coupe et d'outils coupants (37).
    Catégorie : Produits et services industriels : Machinerie et outillage
    http://www.affutage-industriel-gonet.com
  • Mediations techniques industrielles, veille industrie
    Industriethèque est un site internet dédié aux médiations (vulgarisations) des techniques de l'industrie. Industriethèque est un outil intelligent de veille technologique sur Internet. 4 notions: génie électrique,génie mécanique,automatisme et autres traitement de l'information.
    Catégorie : Services aux entreprises : Veille et intelligence économique
    http://www.industrietheque.com/
  • Fabrication et maintenance des moules - Prod Optim
    Moule industriel Thônes (74). Prod Optim situé à Thônes dans la Haute Savoie propose la fabrication de moules industriels utilisés dans le domaine de la plasturgie, assure l'entretien, la maintenance, l'assemblage et l'ajustage, ainsi que la réalisation de pièces mécaniques, systèmes d'aménage, machines de contrôle automatique, présente la table de présentation d'outillage prod optim 25.
    Catégorie : Produits et services industriels : Découpage moulage usinage
    http://www.prod-optim.com/
  • Cabinet de Conseil dans le vin
    Cabinet de conseil spécialisé en génie industriel dans la filière vin en languedoc. Conseils d'expert et accompagnements techniques pour les installations agroalimentaires. Optimisation de l'outil de production et de l'organisation des services industriels dans le but d'améliorer la compétitivité de vos clients.
    Catégorie : Services aux entreprises : Cabinets de conseil
    http://www.agroprod-conseil.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/
  • Simplicime design : atelier provocateur d'idées - Angers (Maine et Loire)
    Simplicime design est un atelier provocateur d'idées. Du conseil à la création, nous sentons l'air du temps, en s'inspirant d'ici et d'ailleurs. Avec son style écoludique, Simplicime design intègre l'écologie comme un atout pour chaque projet. Nos créations jouent avec la poésie des mots et la beauté des formes pour faire germer la création en cultivant l'inattendu. Mené par un designer industriel appuyé par un réseau de compétences, Simplicime aborde le design comme une véritable stratégie dans l'industrie et l'artisanat, pour valoriser la production de fantaisie, révéler la surprise et réinventer le fonctionnalisme.
    Catégorie : Arts et culture : Mode et design
    http://simplicimedesign.blogspot.com/
  • Photographe Industriel Publicitaire
    La photographie industrielle par un photographe industriel: portfolio de quelques photos et les différents formats de prise de vues liés à la production d'images pour l'industrie et la publicité.
    Catégorie : Photographie : Photographe professionnel
    http://www.photo-industrielle.com/
  • Liste d'annuaires et annuaire d'annuaires QualiSEO
    QualiSEO est un outil d'aide au référencement. Il prend la forme d'un annuaire d'annuaires, tous types confondus, permettant la recherche multicritères d'annuaires et la génération de listes d'annuaires spécifiques. QualiSEO est un outil de référencement qualitatif gratuit, réservé aux annuaires francophones.
    Catégorie : Annuaires : Annuaire d'annuaires
    http://www.qualiseo.com/
  • Maintenance industrielle Soreac
    Maintenance industrielle et mise en route sur site Montceaux l'Etoile (71). Soreac réalise la maintenance et la mise en route de vos outils de production (71).
    Catégorie : Saône et Loire (71) : Commerce et économie Saône et Loire
    http://www.soreac.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.atelierb.eu/

GoogleGoogle et DMOZ :

AlexaInformations Alexa (plus d'infos) :

  • Classement (indice global lié au trafic) : 0
  • Classement (indice lié au nb de visiteurs) : 0
  • 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