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/
- 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/
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 [...]
- cartes graphiques - Fujitsu-Siemens et AMD déportent la carte graphique ...
Le Graphic Booster est une carte graphique pour PC portable intégrée dans un boîtier externe.[...]
- 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[...]
- 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 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[...]
- 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...
- 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.
- GPU-Z 0.3.1...
GPU-Z est un petit logiciel simple, gratuit et léger qui s'apparente beaucoup à CPU-Z.
En un clic, GPU-Z vous permet de connaitre:
- la fréquence et le modèle de GPU utilisé sur votre carte graphique
- la finesse de gravure de votre GPU
- La révision du bios de votre carte graphique
- Le nom...
- Savoir déchiffrer le rythme - Définition du rythme - Représentation graphique...
Avertissement : Je n’aborderai dans cette leçon que les rythmes et mesures utilisés dans le volume I de la méthode de guitare.
Introduction
Vous allez débuter votre apprentissage du rythme de manière originale, en faisant appel au minimum de données théoriques ou intellectuelles. Certains rythmes seront même abordés au travers d’exemples tirés de chansons populaires qui s’avèrent [...]
- carte graphique compatible shader 3.0 ?...
Bonjour, je voudrais m'acheter un ordinateur portable est je voudrais savoir si l'une de ces 2 cartes graphiques (je croie que ce sont des cartes graphiques intégrées à la carte mère) est compatible avec le shader 3.0 ou si possible le shader 4.0
<br />
La 1er carte graphique est : Carte Graphique & Mémoire Vidéo NVIDIA NVIDIA® GeForce® 9300M G
<br />
La 2eme est : Intel GMA X3100
<br />
<br />
<br />
Merci d'avance.
|
