• Configuration de l'affichage du site :
  • Affichage en pleine largeur
  • Affichage en basse résolution (800px)
  • Affichage en texte seul
Rechercher [ Plan du site ]

Référencement :
conseils, outils, actualité, forum
tout ça gratuit !

Rechercher dans l'annuaire  Formulaire de contact / demande de modification  Les derniers sites inscrits  Proposer une nouvelle catégorie  Désolé l'ajout de site n'est pas ou plus possible dans cette catégorie

Brama, outil de modélisation graphique de modèle formel B

Fiche détaillée du site :

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.

Echanges de liens

Pas d'échange de liens possible avec ce siteClearSy ne souhaite pas faire d'échanges de liens sur son site Brama, outil de modélisation graphique de modèle formel B.

Annuaire ?

Pas d'annuaire sur ce siteLe site Brama, outil de modélisation graphique de modèle formel B ne contient pas d'annuaire.

Informations complémentaires

Catégorie : Brama, outil de modélisation graphique de modèle formel B

Ingénierie informatique

Autres sites

Si vous souhaitez faire des échanges de liens avec Brama, outil de modélisation graphique de modèle formel B, consultez également ces sites de thématique proche :

  • Téléchargement de modèle de document et contrat type
    Après une simple identification vous allez avoir la possibilité de choisir parmi plus de 500 documents téléchargeables entièrement personnalisables et adaptables à chaque internaute.
    Catégorie : Services aux entreprises : Télé-secrétariat
    http://www.documents.fr/
  • 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/
  • EMTIS - Etudes et Modélisation des trafics et déplacements
    Emtis est un bureau d'études spécialisé dans les études de trafic, déplacements (modes VP et TC) et leur modélisation. Situé en région bordelaise, la société vous propose ses services et compétences dans le domaine des déplacements, trafics routiers et leur modélisation. Nous intervenoins également sur les exploitations et analyses des données de comptages et d'enquêtes (cordon, ménages, embarquées dans les bus ...) Le responsable, Pierre Devos, reste à votre entière disposition pour toute intervention, demande de devis ou d'information sur la société et son activité.
    Catégorie : Véhicule : Trafic routier
    http://www.emtis.fr/
  • Tracer le graphique d'une fonction mathématique en ligne avec Le Grapheur
    Le Grapheur est un outil graphique programmé en PHP vous permettant de tracer gratuitement vos équations et fonctions mathématiques sur le web. Le programme calcule rapidement et affiche sans délai le graphique de votre fonction du second degré, de votre polynome du 5eme degré, le graphique de vos fonctions trigonométriques, hyperboliques, vos logarithmes, vos exponentielles, etc. Un calculateur est également mis à votre disposition.
    Catégorie : Soutien Scolaire : Cours de mathématiques
    http://grapheur.cours-de-math.eu
  • 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/
  • 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 : Kit graphique
    http://www.kit-graphique-complet.be/
  • Image de synthèse: Activité 3D
    Activité 3D réalise image 3D et modelisation 3D
    Catégorie : Infographie : Modélisation 3D
    http://www.activite3d.com/
  • 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/
  • Modèle de lettre, lettre type
    Modèle de lettre, modèles de lettres, lettres type immédiatement à télécharger pour faire valoir vos droits. Chaque modèle de lettre est rédigé par des avocats et experts.
    Catégorie : Sciences humaines et sociales : Droit
    http://www.sos-lettres.com/
  • Ivoir, création d'outils de communication visuelle et expertise marketing, Idf
    Création de produits et d'outils de communication graphique par la société Ivoir. Mais aussi, expertise et conseils en marketing relationnel en Ile de France, Val de Marne (94). Conseils et expertises pour le marketing relationnel : marketing direct, promotion des ventes et motivation des hommes. Réalisation, fabrication et rédaction de produits de communication : outils pour plv, signalétique pour point de vente, logos et plaquettes par Ivoir.
    Catégorie : Commerce et économie : Marketing et pub
    http://www.ivoirconseil.com/
  • Images de synthèse, 3D temps réel et photo panoramique
    Blog personnel sur la 3D : actualité liée au secteur de la 3D en général, avec par exemple des informations sur des logiciels, des artistes ou des chercheurs. Le site expose aussi mes réalisations personnelles et comporte des tutoriels de modélisation pour Wings 3D, mais aussi de la 3D temps réel (notamment Demoniak 3D).
    Catégorie : Infographie : Modélisation 3D
    http://www.shadows.fr/
  • Liste d'annuaires et annuaire d'annuaires QualiSEO
    QualiSEO est un outil d'aide au référencement. Il prend la forme d'un annuaire d'annuaires, tous types confondus, permettant la recherche multicritères d'annuaires et la génération de listes d'annuaires spécifiques. QualiSEO est un outil de référencement qualitatif gratuit, réservé aux annuaires francophones.
    Catégorie : Annuaires : Annuaire d'annuaires
    http://www.qualiseo.com/
  • Outil de référencement de nakuni
    Outils gratuit vous permettant de gérer de manière pratique la soumission de vos sites dans les annuaires. Ayez une vision globale des annuaires sur lesquels vous avez déjà effectué une soumission, fixez vous un objectf du nombre soumissions par semaine et l'outil vous aidera.
    Catégorie : SEO : Soumission de site
    http://nakuni.com/referencement/
  • Choix de modèles pour la réalisation de votre site internet
    Faites l'achat d'un modèle pour votre site internet. Économisez sur la conception de votre site. AyoWeb est affilié à WebTemplateStore afin de vous offrir une grande variété de modèles professionnels à un prix surprenant. Vous pouvez faire l'achat d'un modèle et prendre vous-même en charge les modifications ou laissez AyoWeb effectuer la personnalisation de votre modèle pour vous.
    Catégorie : Conception de sites : Kit graphique
    http://www.ayoweb.qc.ca/modeles.htm
  • Label musical associatif Welcome Records
    Le label de musique indépendant Welcome Records de Metz n'a pas d'autres ambitions que celle de la passion et du plaisir partagés, un engagement collectif vers des univers musicaux où l'énergie et la volonté seront les maîtres mots, sans a priori formel permettant la diffusion de musique zeuhl, jazz, rock, chanson.
    Catégorie : Musique : Labels de musique
    http://www.welcomerecords.com/
  • SoandCo, Design - infographiste Freelance
    Infographiste, je conçois et gère des projets de fabrication de stands pour exposants. Je présente des pages montrant quelques unes de mes réalisations. Une section concerne la fabrication de maquettes. Une autre section concerne la modélisation 3D de ces stands. Je présente aussi des travaux concernant des études de graphismes de signalétique et de plaquettes. Je propose à mes clients des études clé en main dans ces divers domaines. Mes outils sont les logiciels d'infographie tels que 3DSMax, illustrator, Photoshop etc. Je gère des projets et coordonne des prestataires extérieurs.
    Catégorie : Imagerie numérique : Infographie
    http://www.soandco.eu
  • Modèle de tatouage et articles sur l'hygiène du tatouage
    3573 modèles de tatouages et des articles sur l'art du tatouage pour trouver enfin le tatouage que vous avez tant cherché. Des articles sur l'hygiène du tatouage et sur comment choisir votre premier tatoueur afin d'avoir l'expérience tatouage la plus plaisante possible.
    Catégorie : Art corporel : Tatouage
    http://www.montattoo.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 : Kit graphique
    http://www.kitgraphiques.net/
  • Fond d'écrans de célébrités: Dream Girl Wallpaper
    Vient rêver en decouvrant nos wallpapers sexy de célébrités féminines, top modèle, femme fatales...
    Catégorie : Imagerie numérique : Fonds d'écran
    http://www.dreamgirl.new.fr
  • Duel.fr
    Creation site Internet professionnel. Solution complète: Web design par notre studio graphique, hébergement, référencement, outil de mise à jour. Solution e-commerce, boutique en ligne pour entreprise.
    Catégorie : Conception de sites : Services commerciaux
    http://www.duel.fr/

Autres catégories à consulter : Ingénierie, Annonces emploi informatique, News informatique, Informatique et santé, Informatique, Produits et services de sécurité informatique, Sociétés de Services en Informatique, Informatique, Informatique, Ergonomie informatique

Outils référencement

Voici quelques outils conçus pour vous aider à analyser le référencement du site http://www.brama.fr/

GoogleGoogle et DMOZ :

AlexaInformations Alexa (plus d'infos) :

  • Classement (indice global lié au trafic) : 21 374 535
  • Classement (indice lié au nb de visiteurs) : 23 728 844
  • Nombre de liens (backlinks) : 0
  • Date de création du site :
  • Cliquez ici pour lire des explications sur ces chiffres (en anglais)

Analyse de la pageAnalyse de la page :

Autres outilsW3C :

Déclaration Opquast

Si ce site est déclaré au sein du projet MonOpquast (analyse de la qualité des sites web), une image apparaît ci-dessous avec le score obtenu (+ d'infos ici)

Autres outilsAutres outils :

Outils sur Web Rank InfoAutres analyses possibles sur Web Rank Info :

Dans le forum

Crédits vignettes : Robothumb