|
Modélisation graphique
Sites de l'annuaire
Voici 15 sites que nous avons sélectionnés concernant Modélisation graphique, figurant dans notre annuaire (inscription gratuite) :
- 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/
- 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/
- 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/
- 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/
- 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/
- 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/
- 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/
- 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
- 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/
- 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/
- Web-Graph : Créations Graphiques et Webmastering
Forum de créations graphiques à la demande et de Webmastering. N'hésitez pas à venir demander Avatar, Signature, Bannière, Walkpaper, Kit Graphique, Autre... et tout cela est entièrement gratuit....
Catégorie : Internet > Ressources Internet
http://www.web-graph.com/forum/
- Art Graphique
Banque de ressources graphiques gratuites pour webmasters : boutons, images, animations... à installer sur votre site....
Catégorie : Internet > Ressources Internet
http://www.e-nerguweb.com/graphisme/
- Annuaire graphique
Annuaire graphique est un répertoire sur les différents domaines et métiers des arts graphiques. Il indexe à la fois l'ensemble de la chaîne graphique mais aussi les métiers de la communication, des artistes peintures, des illustrateurs et bien d'autre encore....
Catégorie : Art et culture > Mode et design
http://www.annuaire-graphique.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[...]
- 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 [...]
- 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 [...]
- 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[...]
- 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[...]
- 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.
- 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...
- 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.
- kit graphique...
Kitgraphiques.net vous propose des milliers de kits graphiques. Et des informations sur le kit graphique
- 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.
|
