Fiche détaillée d'un site de l'annuaire
Annuaire >
Commerce et économie >
Informatique >
Ingénierie informatique
| 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. |
Définition
Bioinformatique : Application de l'informatique au traitement des données biologiques.
Le terme bioinformatique regroupe les applications informatiques (languages et logiciels) qui exploitent les données générées par les différentes expériences biologiques qui exis...
Catégories
Sites de l'annuaire
Voici des sites 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/
- 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/
- Kit graphique à telecharger
Des kits graphiques pour tous : Promotion de -10% sur les kits graphiques pro. Kits 1,2,3 ou 4 Allopass, kits gratuits, pack 800 kits, pour professionnels et debutants, nous ajoutons regulierement des nouveautes. kit graphik, c'est aussi un annuaire francais et anglais, un top 10 et des service pour webmaster....
Catégorie : Conception de sites > Kits graphiques
http://www.kit-graphik.com/
- Graphiknow : Studio graphique
Spécialisé dans les arts graphiques, le studio de création graphique s’adapte à tous vos besoins : site internet, CD-Rom, documents imprimés (plaquette, brochure, flyer, affiche), création graphique (logo, illustrations), animations et formation.
Catégorie : Commerce et économie > Imprimerie et édition
http://www.graphiknow.com/
- Kit graphiques
Kit graphique pour créer votre site web , Kit graphique professionnels , Kit graphique site internet, Kit graphique ,kit graphic ,kit graphics ,bandeau , Bannières ,Bannière...
Catégorie : Conception de sites > Kits graphiques
http://www.kitgraphiques.net/
- Studio graphique de freelances associés
Studio graphique au centre de Paris. Création et exécution de supports de communication multimédia....
Catégorie : Services aux entreprises > Agences de communication
http://www.ls-graphisme.com/
- R E T R O G R A P H I C La communauté graphique universelle
Communauté graphique universelle avec des Commandes de toutes sortes et complète rapides et de nombreux concours, des ressources, des tutoriels, de l'entraide, des cours pour apprendre le graphisme et de la détente. Déjà beaucoup de membres . Pourquoi pas vous ....
Catégorie : Conception de sites > Aides et tutoriels
http://www.retrographic.eu
- Kit graphique
Kit graphique vous propose + de 10000 interfaces graphiques de qualité professionnelle....
Catégorie : Conception de sites > Kits graphiques
http://www.kit-graphique.ca/
- Kits Graphiques Complets
Large choix de kits graphiques 100 personnalisables avec services offerts avec tous les kits ! Design professionnel, classement par catégories, commande en ligne et livraison immédiate....
Catégorie : Conception de sites > Kits graphiques
http://www.kit-graphique-complet.be/
Actualité
- 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[...]
- Le nouveau refroidisseur graphique de Zalman ...
Le VF1000 LED du coréen Zalman se présente comme la nouvelle solution de refroidissement pour cartes graphiques. Sa structure permet d’optimiser le transfert de chaleur en provenance du processe[...]
- Un Shuttle HDMI, le SG33G5 ...
Apres avoir annonce une gamme relativement decevante du point de vue du design, Shuttle vient d annoncer le SG33G5, un modele dedie a la HD. Ce modele, comme son nom l indique, est equipe d un chipset[...]
- Le ThinkPad W700 intègre une tablette graphique ...
Le ThinkPad W700 de Lenovo est une machine de guerre de 17 pouces et le premier ordinateur portable à intégrer une tablette graphique Wacom. Conçue pour un usage professionnel de design graphique, de [...]
- Pointui Home : une nouvelle interface graphique ...
A partir d’un mobile utilisant un système d’exploitation Microsoft Windows Mobile il est possible de personnaliser très facilement son interface graphique. Avec un peu d’imagination et une bonne dose [...]
- La diffusion du Néolithique en Europe (7000-5000 av. J.-C.) et sa représentation cartographique ...
Depuis les travaux pionniers de Clark (1965), la diffusion du Néolithique en Europe a fait l’objet de différentes tentatives de modélisation et de représentation cartographique. Pour autant, les[...]
- La tarte cède la place aux pixels ...
Après le graphique en pointes de tartes, voici le graphique en pixels. Moins appétissant, mais tellement plus original.[...]
- Geci International : avalement haussier sur graphique hebdomadaire ...
Graphique en données hebdomadaires. Indicateurs : MME13 ( rose), MM20 ( bleue), MM50 ( rouge). MACD. Volumes. Geci International est en train d'effectuer un avalement sur graphique hebdomadaire. Cet a[...]
- MàJ firmware : GeForce 7300 GT ...
A destination des possesseurs de Mac Pro avec une carte graphique NVidia GeForce 7300 GT, Apple propose une mise à jour du programme interne de la carte graphique.
Pas de précision concernant les mod[...]
- X2800XT et CrossFire sous Mac ? ...
Selon AppleInsider, un nouveau modèle de carte graphique conçue par ATI pourrait bientôt trouver sa place dans une évolution du Mac Pro d'Apple.
La Radeon X2800XT débarquerait sur le marché en plusie[...]
- Sitemap graphique...
Pourquoi ne pas associer sitemap et art ? C'est ce que vous propose ce site en réalisant une représentation graphique de votre site grâce au différentes pages, balises, lien...
- Kit Graphique Gratuit...
Kit graphique : plus de 6 000 , Kit graphiques gratuit pour créer votre site web, Kit graphique gratuit, Kit graphique de site internet, création de bandeaux et de bannières...
- Blogopticon by Vanity Fair...
Superbe représentation graphique de visualisation de blogs réalisé par Vanity Fair. Ce graphique combine la catégorisation, le mapping basé sur le type de contenus et des liens sur les blogs.
- kit graphique...
Kitgraphiques.net vous propose des milliers de kits graphiques. Et des informations sur le kit graphique
- Kit-Graphique.eu - Des milliers de kits graphiques à télécharger...
Kit-Graphique.eu - Le plus grand choix de kits graphiques parmi de nombreux themes: animaux, architecture, affaires, automobile, cadeaux, charme, commerce, communication, css, discotheques, famille, flash, forum, internet, medical, musique, pages persos.
|
