Fiche détaillée d'un site de l'annuaire
Annuaire >
Commerce et économie >
Informatique >
Ingénierie informatique
| 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. |
Définition
Méthode GET : La méthode GET est un moyen de passer des paramètres d'une requête HTTP depuis le navigateur au serveur.
Cette méthode place les paramètres, généralement séparés par un caractère spécial tel que l'esperluette (&), dans l'URL même, qui est visible ...
Catégories
Sites de l'annuaire
Voici des sites figurant dans notre annuaire (inscription gratuite) :
- 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/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.comenc.eu
- 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 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/
- Excel Auto-Formation : Cours et exercices d'Excel en ligne
Cours et exercices Outils et méthode formelle de conception d'une feuille de calcul Des feuilles de calcul opérationnelles au sein des pages web Visualisation des dépendances. Les fichiers excel correspondant à télécharger Un site à visiter absolument, fruit de longues années d'expérience dans l'enseignement supérieur à l'Université de Strabourg....
Catégorie : Soutien Scolaire > Cours en ligne
http://gabrielbraun.free.fr/XL/
Actualité
- 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 [...]
- Tsugawa Method DS : Le kanji fa-ci-le
Quels baltringues on fait avec nos 26 lettres d'alphabet. Les japonais, eux, ont trois alphabets composé de deux alphabets syllabaires de 46 signes chacun, plus les célbres kanji. D'un nombre [...]
- Le rappeur Method Man arrêté pour possession de drogue ...
Le rappeur américain Method Man, membre du fameux Wu Tang Clan, a été arrêté jeudi dernier à New York pour possession de drogue.Le musicien était contr&[...]
- Mises à jour iPhoto, iMovie, iWeb et iLife Support ...
Apple vient de mettre à disposition 4 mises à jour ce soir, via la mise à jour de logiciels ou en téléchargement direct: iPhoto 7.1.4, iMovie 7.1.4, iWeb 2.0.4 et iLife Support 8.3.
De nouveaux n[...]
- 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[...]
- Def Jam Icon met de la musique ...
Electronic Arts a dévoilé la liste des morceaux qui figureront dans Def Jam : Icon, son jeu de baston hip hop prévu sur les consoles Next Gen. Dans le casting, on trouve pas mal d'artistes de renom te[...]
- Des jobs au contact de l'iPhone chez Apple ...
Le recrutement pour la sortie de l'iPhone se poursuit chez Apple. Si vous souhaitez rejoindre la région de
Sacramento, à un peu plus d'une heure et demie de San Francisco (voir carte
ci-dessous pour c[...]
- Microsoft & Inria ...
Un accord entre le numéro un du logiciel Microsoft et le laboratoire français Inria, vient d'être conclu. L'institut scientifique français a donc reçu des fonds propres de la part de la firme de Redmo[...]
- SharePoint 2007 : Extension Method (DeleteUploadedFiles) ...
Parmi les trucs que je dois recoder à longueur de journée et dont je voudrais bien me passer : Faire le nettoyage (Supprimer) des éléments uploadés par une feature. Pour rappel, si je souhaite upload[...]
- 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.[...]
- 30/12/2007 - COMMISSIONING RESIDENT METHOD LEADER (CEGELEC - Qatar)...
Description:
We have a position to fill as Method Engineer for one of our project. Job location is Qatar, based on rotation 8x2 or resident status.
Working in a harsh environment, the...
- Traduction de "Although we are unable to change your payment method for june 2007, you are..."...
Traduction anglais-français de : Although we are unable to change your payment method for june 2007, you are welcome to change your payment method for the next payment period. To do so, just visit the payment options section of your account.
- 20/03/2008 - E/I Method Engineer (SPIE Oil & Gas Services - Yémen)...
Ipedex recruits for one of its client base in Yemen An Electrical/Instrument Method Engineer to be the technical support for electrical maintenance
*LOCATION: Yemen - Onshore - Sana'a office with...
- En bref : Redman & Method Man sur scène...
Deux ans après « The Blunt Show », Redman (rap satirique US aux influences funk et reggae) et Method Man (Wu-Tang Clan), le duo le plus explosif de la scène US annonce une nouvelle série...
- Bookmarks du 08/16/2008...
What Advantage Do You Have?
An older method of context analysis, called SWOT analysis, allows the business to gain an insight into their strengths and weaknesses and also the opportunities and threats posed by the market within which they operate.The older method of SWOT analysis does not apply to the context analysis of social networks because [...]
|
