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

Annuaire ?

Le site Atelier B, outil industriel pour appliquer opérationnellement la méthode 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 :

• 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
• 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
• 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
• 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
• 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
• Infodevsarl logiciels de gestion compta, pointage atelier et extérieur, sites web
  Infodevsarl est une société de prestations informatiques à la Wantzenau (proche de Strasbourg). Nous proposons des solutions logicielles aux PME, artisans, garages en facturation, comptabilité, suivi des heures, pointage en atelier et à l'extérieur (pose, sav), sites web et prestations informatiques de programmation sur mesure, migration de données ainsi que de la formation sur site avec un programme sur mesure
  Bas Rhin (67) : Entreprises Bas Rhin
  www.infodevsarl.fr
• Vente en ligne de logiciels informatiques
  Un choix clair de 6 000 logiciels dans les domaines de la culture, de la vie pratique, de la musique, de l'informatique, de l'éducatif et de la formation, de l'apprentissage des langues, des jeux et loisirs. Publics visés : grand public, professionnels, établissements scolaires, centre de formation
  Informatique : Produits et services multimédia
  www.cluzet.com
• 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.
  Industrie : Gravure et signalétique
  www.summib.com
• Logiciel de gestion de garages et d'ateliers mécaniques
  GEM CAR est un logiciel de gestion de garages, de ventes de pneus développé par une entreprise au Canada:V2V Technologies. En choisissant d'implanter un logiciel de gestion des opérations, tel GEM-CAR, votre atelier de mécanique franchit une étape importante dans son engagement vis-à-vis du client. Les avantages ne sont pas uniquement liés au produit acheté, mais une véritable philosophie de gestion d'atelier qui est liée à l'échelle de l'entreprise
  Logiciels : Logiciels de gestion
  www.gem-car.biz
• Développement de logiciels et création de sites Internet à Lille
  Génie Logiciel du Nord est spécialiste de la création de sites Internet professionnels sur mesure (vitrine ou dynamique pour e commerce). Nous offrons des solutions pour tous les budgets : du site clé en main de quelques pages au site totalement personnalisé. Quel que soit le projet envisagé, nous garantissons des prestations d'un excellent rapport qualité/tarif. Génie Logiciel du Nord vous propose également ses service de développement logiciel jusqu'à un très niveau d'exigence : Nous développons notamment des applications pour les industries militaires, de défense et sécurité et multimédia. Génie Logiciel du Nord est établie à Lille dans le nord (59) et étend ses activités dans la moitié Nord de la France.
  Nord Pas-de-Calais : Web agency Nord Pas-de-Calais
  www.gelono.com
• Développements sur mesure de logiciels Web
  epsiSoft a développé deux types d'offres : - La location d'un logiciel, parce que votre besoin peut aussi être le besoin d'une autre entreprise. Développé pour vous ou adapté d'un logiciel existant, vous bénéficiez d'un outil performant, répondant à vos objectifs, tout en profitant de la souplesse de la location. - Le développement sur mesure, adapté à une problématique unique. Une solution en parfaite adéquation avec votre projet et vos attentes. Un logiciel est développé en fonction d'un besoin identifié et d'un cahier des charges défini en étroite collaboration avec les managers et utilisateurs.
  Logiciels : Logiciels de gestion
  www.epsisoft-concept.com
• Logiciel de gestion rh, accompagnement individuel et collectif, ANPE
  Cristaljob est le première Solution Internet pour la gestion des accompagnements individuels et collectifs. CristalJob contient tout pour gérer les prestations pour l'appel d'offre ANPE 2008. Génération des livrables CE, BCA, STR, EPCE, OP, OE. CristalJob est aussi utilisé par les cabinets de reclassement et recrutement
  Logiciels de gestion : Logiciels ressources humaines
  www.cristaljob.com
• Mouvement X - Cercle d'écriture à Toulouse
  Cercle de personnes se réunissant chaque mois à Toulouse dans un bon restaurant pour y lire leur production écrite. Tous les textes doivent porter sur un mot tiré au hasard dans un dictionnaire lors de la séance précédente. Les mots éligibles sont des mots relatif à des choses concrètes , en général des objets.
  Littérature : Ecriture
  pagesperso-orange.fr
• Adsi arts des systèmes d'informations et informatique logiciel maroc création site web
  adsi est une société de développement de logiciels et de création de sites web au Maroc située à Casablanca. Elle développe des logiciels de gestion commerciale et de gestion de transport.
  Entreprises Maroc : Création de site web Maroc
  www.adsi.ma
• PROCOST-PROQUAL: gestion commerciale et gestion de production intègrant la qualité
  Composées de 18 modules (achat, vente, stock, CRM, offre de prix, EDI, suivi de fabrication, pilotage atelier, contrôle qualité et logiciel SPC, indicateurs TRS…), ces solutions de pilotage et de management à travers des indicateurs sont dédiées aux TPE et PME du secteur industriel et manufacturier. PROCOST - PROQUAL : des solutions paramètrées aux métiers des utilisateurs avec une équipe projet, une méthodologie et un service adaptés à la taille de nos partenaires… et bien sûr avec des solutions financières idoines.
  Logiciels : Logiciels pour l'industrie
  www.obilog.fr
• Editions Créasoft spécialiste en logiciel de rééducation du langage écrit, oral, mémoire
  Les Editions Créasoft basé à côté de Toulouse (FRANCE), sont spécialiste depuis 2000 en editions et commercialisation de logiciel de rééducation du langage écrit, langage oral, conjugaison, mathématique, écriture, lecture, mémoire etc ... auprès des orthophonistes, écoles, maisons de retraite, centres spécialisés ainsi que le grand public.
  Logiciels : Logiciel santé
  www.editions-creasoft.com
• Edition de logiciels médicaux multispécialités
  Alpilogic développe depuis 12 ans un logiciel de gestion de cabinet médical et d'unité de soins pour diverses spécialités (Ophtalmologie, Dermatologie,ORL). D'autres spécialités sont en cours d'élaboration. Ce logiciel gère les rendez-vous, consultations, ordonnances, courriers, imagerie, dossiers chirurgicaux, messagerie, travail à distance, .
  Logiciels : Logiciel santé
  www.alpilogic.fr
• Installation, dépannage et maintenance informatique à Cherbourg-Octeville
  Les prestations suivantes peuvent être effectuées à domicile, sur site ou en atelier: Installation ordinateur, imprimante, logiciel, connexion internet, wifi... Éradication de virus, rootkit, spywares, vers, chevaux de Troie, programmes malveillants... Dépannage ordinateur, formatage disque dur, réinstallation OS (système exploitation) Maintenance de parc informatique sur site ou en atelier. Aide et soutien à l'utilisation de l'outil informatique.
  Cherbourg : Dépannage de PC, ordinateur Cherbourg
  jeanpatrice.blog4ever.com
• Dépannage, Formation informatique, Création web et logiciel dans l'Essonne
  PC-Team est une société spécialisée dans la création de site web, les bannières publicitaires, la formation informatique, l'édition de logiciels professionnels, l'assistance informatique à domicile (Dépannage informatique, installation de soft, configuration PC et périphérique, téléphonie (Installation ADSL).
  Essonne (91) : Dépannage de PC, ordinateur Essonne
  www.pc-team.fr
• Développement logiciels et site web à Fès, Maroc
  i-Side eng. est une SSII " Société de Services et d´ Ingénierie Informatique " spécialisée dans le développement des logiciels performant grand publique et la conception des sites web. Basée à Fès au Maroc. Développer votre logiciel informatique dans les plus bref délais, c'est notre engagement. tél : 060.49.59.21
  Informatique : Société de Services en Informatique
  www.i-side.net