|
|
 |
|
Langage b
Sites de l'annuaire
Voici 15 sites que nous avons sélectionnés concernant Langage b, 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/
- 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/
- 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
- 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/
- 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/
- 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....
Catégorie : Logiciels > Logiciels pour la santé
http://www.editions-creasoft.com/
- Infocosme - La maitrise des systèmes d'information
Société spécialisée dans les technologies internet qui propose un langage de développement web qui simplifie la réalisation de pages dynamiques, la gestion des formulaires et la connexion à une base de données....
Catégorie : Logiciels > Outils de développement
http://www.infocosme.com/
- Algorithmes, scripts et langages de programmation
Liste de tous les algorithmes et tous les langages de programmation. Comparatifs des possibilités de chaque langage avec nombreux exemples. Histoire des langages....
Catégorie : Informatique > Programmation
http://www.scriptol.org/algorithmes.php
- Améliorez votre communication en utilisant le langage du corps
Site d'informations sur l'utilisation du langage du corps dans la vie de tous les jours. Des articles sont mis à jours régulièrement pour mettre en applications les techniques du langage corps sont dans différentes situations courantes, tel que : la communication, la vente, les relations amoureuses, les jeux de cartes comme le poker, l'entretien d'embauche. Connaitre et comprendre les signes du langage du corps, vous permettra de mettre à jours les intentions cachés de vos interlocuteurs et d'obtenir ce que vous voulez....
Catégorie : Sciences humaines et sociales > Développement personnel
http://www.langagecorps.com/
- Interpréteur pour le langage de programmation Scriptol
Le langage de programmation Scriptol pour le Web ou les applications. Un langage simple compatible avec PHP ou C++. Il existe un interpréteur et des compilateurs gratuits avec une librairie open source. Le langage XML peut être intégré au code source. Fonctionne avec Java, XUL, Winbinder, GTK ou s'intègre dans des pages Web pour la version compilateur PHP....
Catégorie : Programmation > Langage Scriptol
http://www.scriptol.net/fr/
- Traducteur de SMS vers le Français
Traduisez en Français des textes écrits en SMS/TEXTO. Ces dernières années sont apparus sur le Web de jeunes internautes ayant leur propre langage. On les retrouve par exemple sur une célèbre plate-forme de blog. Oui, ils essaient de communiquer avec vous, même s'ils massacrent la langue française, prétextant que 'ça va plus vite'ou 'qu'on est sur le net donc on s'en fout'. N'étant pas forcément bilingue, le traducteur sms est là pour vous aider....
Catégorie : Internet > Services Internet
http://www.traducteur-sms.com/
- Pascaland: compilateurs, sources, composants et liens pour le langage Pascal
Ce site a été créé pour rassembler et diffuser gratuitement ce qui se rapporte au langage Pascal et ses implémentations les plus utilisées (Turbo Pascal, FreePascal, Delphi, Kylix) C'est entre autre une liste de plus de 300 compilateurs (commerciaux ou gratuits) dont 100 liens (certains compilateurs ont le code source disponible) et des articles....
Catégorie : Programmation > Langage Pascal
http://www.pascaland.org/
- Easy prog - La Programmation facile
Le site Easy Prog est un site de programmation sur les langages c, c++, html, xhtml, css, javascript, PhP et flash. Des cours et des tutoriaux sont proposés en consultation ou téléchargement....
Catégorie : Informatique > Programmation
http://www.programmation-facile.fr/
- Le dictionnaire du Nin : expressions farfelues et étranges
Le dictionnaire du Nin a pour objectif de répertorier un nombre croissant d'expressions et de mots étranges ou farfelus. De l'argot au langage typiquement Internet en passant par les mots les plus improbables, le dictionnaire Nin est une véritable mine d'or du français alternatif. Classées par lettres, un moteur de recherche permet également de trouver une expression précise....
Catégorie : Références > Dictionnaires
http://delmakinero.free.fr/dictionnaire/
Actualité
- 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[...]
- développement - Le langage D rénove la programmation systèmes ...
Conçu pour être une extension du vénérable C, le langage D apporte un éventail de fonctions visant à la simplification et à l'efficacité. La version 1.0 de l'implémentation de référence est désormais [...]
- Comment gérer une interface graphique en PHP ? ...
Du simple modèle de page aux feuilles de style XSLT, voici plusieurs solutions pour maîtriser la séparation entre logique applicative et interface graphique grâce au célèbre langage de script côté ser[...]
- Maya 8.5 en binaires universels ...
En ce début de semaine, Autodesk présente la version 8.5 de Maya, son logiciel d'animation et de rendu 3D. Elle apporte enfin le support natif des Macintosh avec processeurs Intel bien qu'il manque en[...]
- Un logiciel convertit la parole en langage des signes mimé sur écran ...
Une équipe de recherche parrainée par le groupe IBM a élaboré un programme qui convertit automatiquement le discours oral en langage des signes, mimé par un personnage animé sur écran, a annoncé jeudi[...]
- développement - Xerox veut simplifier le langage de l'impression ...
Plus besoin de connaître par cœur les 267 nuances standardisées : la société travaille sur un logiciel qui permet de modifier les teintes d'une impression en utilisant un langage naturel.[...]
- Traduire son site en langage SMS ...
Kikoololise ton site pour séduire les plus jeunes et les amateurs du langage SMS[...]
- Apple et le HTML ...
Le HTML, langage pionnier pour la création de site internet (qui n'est pas un langage de programmation en lui-même) revient au goût du jour. Supplanté par le XHTML, l'ancien langage HTML devait être a[...]
- [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.[...]
- 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 [...]
|
|
|
|
