|
|
 |
|
B method
Sites de l'annuaire
Voici 15 sites que nous avons sélectionnés concernant B method, figurant dans notre annuaire (inscription gratuite) :
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.bmethod.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 tels que le projet RNTL BOM (B optimisé mémoire). 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
- 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/
- 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/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.brama.fr/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.fersil.fr/
- 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 > Méthode Pilates
http://www.boutique-pilates.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/
- 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/
- Pronostic turf gratuit et methodes de turf gratuites
Pronostic de turf gratuit, la Centrale du Turfiste propose au turfiste une sélection de sites de pronostics turf. Le joueur de turf bénéfice de méthodes de jeux gratuites pour le quinté et le quarté. Pour engager ses paris sur le turf la centrale du turfiste propose une sélection de site spécialisée dans le domaine de la prise de paris sur le turf....
Catégorie : Equitation > Pronostics Hippiques
http://www.la-centrale-du-turfiste.com/
- 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....
Catégorie : Sports > Entraînement
http://www.prepaphysiquefondamentale.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/
- 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/
- 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/
Actualité
- Les Heroes tente la méthode Cauet ...
Pour la première de la saison, Cauet et sa méthode ont tapé fort puisque l’animateur a décroché une interview de la troupe des Heroes.
Voici donc la rencontre entre Cauet et Hayden Panettiere, M[...]
- La méthode de clonage de MIFARE Classic pourra être publiée ...
Coup dur pour le fondeur NXP. Sa plainte pour empêcher la publication de la méthode de clonage de son système de cartes de paiement sans contact a été rejetée par la justice hollandaise.[...]
- Le bassiste de U2 a une méthode imparable pour acheter une maison ...
Sujet léger mais ça détend des subprimes...(on se croirait dans Closer). Adam Clayton, bassiste du groupe de rock U2 et accessoirement multimillionnaire à force de vendre des disques et de remplir des[...]
- [expliquez-moi] L'intention des méthodes de développement Agile ...
Extreme Programming n'est qu'une méthode agile parmi une dizaine d'autres. Découvrez leurs points communs, leur but final, et donc les raisons de leur popularité croissante.[...]
- YAML : une autre méthode pour stocker les configurations ...
Suite au billet sur les fichiers INI, voici une autre méthode pour stocker des données de configuration de façon aussi simple, mais qui offre un gros avantage : YAML permet...[...]
- La methode FindControl
La méthode FindControl permet de trouver un contrôle à partir de son ID. Sans que l'on s'en rende compte, on l'utilise de plus en plus souvent. En effet ASP.net Ajax l'utilise très souvent en interne,[...]
- Money Management : Méthode et système. ...
- Extension method et surcharge ...
Le billet de frédéric a donné lieu a une série de commentaires très intéressants et notamment à la question suivante : comment le compilateur choisit-il une extension method.
Après quelques tests, je [...]
- ETATS-UNIS - TERRORISME: Le renseignement américain autorisé à violer la loi sur la torture ...
Selon la presse américaine, l'administration Bush ne se prive d'aucune méthode pour lutter contre le terrorisme, et affirme que les agents du renseignement peuvent recourir à des méthodes d&[...]
- Méthodes et régimes pour maigrir façon Coue...
Il existe un nombre important de régimes selon des méthodes d’auteurs et nutritionnistes renommés, méthodes qui ont sû faire leur preuve pour de nombreuses personnes.
Et pourtant, on oublie trop souvent une méthode simple pour se sentir bien dans son corps et dans sa peau : la méthode Coué.
Ginette et Gaïa présentent le principe de la [...]
- La méthode Sarkozy, quelle méthode ?...
Méthode : ensemble de procédés, de moyens pour arriver à un résultat. L'action Faire ce qu'IL dit... Avocat, il sait parler de tout, du contraire de tout, et surtout il ne fait jamais rien sans utiliser la méthode Coué « Comme je vous l'ai dit ... », même quand c'est inexact. ... en (...)
- All Musculation : méthode lafay...
All Musculation est un site de conseils sur la musculation, qui contient une interview d'Olivier Lafay, le créateur de la célèbre méthode de musculation sans matériel, aussi appelée méthode Lafay. C'est une méthode pour s'entrainer à la maison.
- Forum Méthode Lafay : Index...
créer un forum : Le protéo-système appelé méthode Lafay est une méthode de musculation utilisant des exercices au poids du corps. Elle vise à développer toutes les qualités athlétiques : force, endura
- [Tuto][Photoshop] Vectorisation - Méthode Simple...
Vectorisation
Méthode simple
Domaine: Infographie.
Logiciel: Photoshop CS2 et CS3.
Niveau: Initié.
Pré-requis: Savoir utilisez l'ordre des calques, les créer. Savoir zoomer. Être patient.
Objectifs: Vectoriser un dessin, un scan, une capture d'écran de dessin animé... ou autre chose.
Tutoriel:
Le tutoriel a été fait avec Photoshop CS3, dans un espace de travail par défaut, avec une souris.
Dans ce tutoriel, je vais vous expliquer la méthode simple de la vectorisation.
C'est la méthode que j'utilise,...
- Méthode de guitare pour débutants : Volume I - 5.0...
Destinée au grand débutant, cette méthode ne demande aucune notion préalable car tout est expliqué au fur et à mesure...
|
|
|
|
