Annuaire WebRankInfo : le + réputé des annuaires de sites francophones
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.
En résumé, voici comment définir ce site : atelier b, formation b, atelier de génie logiciel, génie logiciel et méthodes formelles
Autres sites suggérés
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 solution[...]
Site perso
Antiquités : meuble industriel ancien, mobilier design, usine, atelier
Spécialiste et passionné du mobilier design industriel, nous proposons un large choix de meuble de métier, objet, luminaire provenant d'usine atelier..., entièrement restauré dans notre atelier de façon artisanal, nous proposons aussi un service de restauration d'objet sur notre site[...]
Site perso
Editeur de logiciel de modélisation de processus
Editeur de logiciel BPM, Globalliance développe la solution Pyx4, outil de modélisation graphique des processus
Nom officiel : Pyx4 - Site pro (SARL) 
Logiciel de test fonctionnel et ingénierie informatique
Logiciels de test fonctionnel et de régression, dictionnaire de données Cobol, solution de migration Pacbase, ingénierie d'informatique de gestion au forfait ou en régie.
Nom officiel : Euraxiel - Site pro (SA). En ligne depuis 20 ans (2000). 
PARIS (France)
