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

Indexation

Voici une estimation du nombre de pages du site indexées dans les principaux moteurs de recherche (FR) :

• 62 dans Google
• 53 dans Yahoo
• 56 dans Bing

Ancienneté du site

Site analysé : www.brama.fr

Ancienneté :

• Désolé une erreur est apparue pour l'analyse de l'ancienneté selon Google... retestez plus tard !
• Date de 1ère indexation par archive.org : 25 Mai 2007
• Ce site ne semble pas encore connu par Alexa
• Ce site semble être en ligne (et indexé) depuis au moins 2 ans et 3 mois.

Retrouvez également les versions archivées du site sur archive.org

Netlinking

Analyse des backlinks du site

Des pages de contenus indexés c'est bien, mais des liens pointant vers ces pages est également indispensable pour bien réussir son référencement. Voici les résultats de recherches de ces fameux backlinks :

• 4 backlinks internes pour la page d'accueil selon Yahoo
• 121 backlinks externes pour la page d'accueil selon Yahoo
• 8 backlinks pour la page d'accueil selon Alexa [voir]

Conseils pour booster votre netlinking

Si vous voulez améliorer votre netlinking, je vous propose de parcourir les articles publiés gratuitement sur WebRankInfo dans la rubrique Stratégies de liens, netlinking, maillage ; si vous voulez passer la vitesse supérieure, apprenez comment obtenir des liens vers votre site en assistant à ma formation au netlinking pour le référencement (le financement peut être pris en charge à 100% par votre OPCA).

Trafic

Statistiques Alexa

Voici les statistiques Alexa (détails ici, explications là) :

• Classement (indice global lié au trafic) : 26 706 858
• Classement (indice lié au nb de visiteurs) : 27 772 981

Google Trends pour les sites

Voir les détails

Compete

Voir les détails

Quantcast

Voir les détails

StatBrain

Voir les détails

Analysez également le réseau de sites similaires avec TouchGraph Google Browser.

Serveur

Le serveur qui héberge ce site a pour adresse IP : 195.20.226.245

Pannes du serveur

Consultez l'analyse de Netcraft de ce site, incluant une analyse des uptimes : Voir les détails

Technologies utilisées par le site

BuiltWith liste toutes les technologies utilisées sur un site (à partir de sa page d'accueil seulement) : Voir les détails

Sécurité informatique

Fichier robots.txt

Apparemment vous n'avez pas créé de fichier robots.txt (sur http://www.brama.fr/robots.txt), vous devriez en mettre un (même s'il est vide), ça évitera d'avoir de nombreuses erreurs 404 dans vos logs quand les robots crawlent votre site

Autres

Conformité W3C

• Validateur HTML
• Validateur CSS
• Validateur de liens
• Extracteur de données sémantiques

Lisibilité

Consultez les résultats du test de lisibilité de votre page.

Divers

• Yet Another GOOgle Rank Test : analyse du référencement dans Google
• alyze.info : une analyse complète de la page : mots-clés, liens, images, codes HTTP, etc.

Autres analyses possibles sur WebRankInfo

• analyse complète des backlinks
• analyse du positionnement
• aide à l'échange de liens

Annuaire ?

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

Autres sites pour partenariats

Si vous souhaitez établir des partenariats dans la thématique Ingénierie informatique, consultez également ces sites :

• 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
  Informatique : Ingénierie informatique
  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.
  Informatique : Ingénierie informatique
  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.
  Informatique : Ingénierie informatique
  www.atelierb.eu
• 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.
  Informatique : Ingénierie informatique
  www.fersil.fr
• 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.
  Ingénierie informatique : Méthodes Formelles
  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.
  Web designer : Kit graphique
  www.kit-graphik.com
• 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. 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.
  Informatique : Ingénierie informatique
  www.comenc.eu
• Illustrateur, concepteur graphique, infographiste freelance
  Studio de création graphique. Réalise un large panel de prestations quelque soit votre secteur d'activité. Illustration : conception graphique de personnages, décors, véhicules. Illustration pédagogique, institutionnelle, de jeunesse, story board, bande dessinée. Print :maquettes diverses destinées à l'impression, Web : chartes graphiques et ergonomie de sites internet, bannières, newsletter... Ouvert à tout projet d'envergure et ambitieux.
  Emploi : Freelance
  www.designly.fr
• Studio graphique de freelances associés
  Studio graphique au centre de Paris. Création et exécution de supports de communication multimédia.
  Services aux entreprises : Agences de communication
  www.ls-graphisme.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
  Web designer : Kit graphique
  www.kitgraphiques.net
• Agence de communication visuelle professionnelle d'entreprises en Auvergne
  Conception graphique et réalisations de l'identité visuelle professionnelle des entreprises : Supports de communication graphique imprimés et virtuels, création de sites internet, design 2D et 3D, modélisation 3D, rendu et prototypage virtuel professionnels. Communication imprimée : Des cartes de visite au stands d'exposition, en passant par les flyers et les affiches. Communication Internet : Nom de domaine + Hébergement + Site internet + Référencement + Veille. Communication 3D : Meubles et objets 3D ainsi que l'agencement d'intérieur pour les stands sans oublier les boutiques et les bureaux. Auvergne - Puy de Dôme (63) - Chamalières et villes proches de Clermont Ferrand.
  Services aux entreprises : Agences de communication
  2-3d.com
• FrameWork Orienté objet multi langages
  KObject, acronyme de Kernel Objects, est un ensemble de classes, regroupées en librairie, et permettant d'implémenter rapidement le noyau d'une application (classes métier), à partir d'une base de données. Kobject est un projet Open source (hébergé sur sourceforge) développé pour plusieurs langages : Delphi, java, PHP... L'objectif de Kobject est de permettre au développeur de limiter le temps de passage d'un modèle relationnel (base de données) à un modèle orientés Objet, quelque soit le langage utilisé.
  Logiciels : Outils de développement
  www.kobject.net
• 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.
  Services aux entreprises : Télé-secrétariat
  www.documents.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.
  Entreprises : Imprimerie et édition
  www.graphiknow.com
• 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.
  Soutien Scolaire : Cours de mathématiques
  grapheur.cours-de-math.eu
• Modèles de lettres et de discours
  Vous cherchez un modèle de lettre ? Modele-et-lettre.com : des modèles de lettres et de discours types à télécharger pour toutes les situations courantes de la vie (lettre de motivation, demandes diverses, lettres formelles...)
  Emploi : Lettre de motivation
  www.modele-et-lettre.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 .
  Web designer : Aides et tutoriels création web
  www.retrographic.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.
  Web designer : Kit graphique
  www.kit-graphique-complet.be
• 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.
  Internet : Ressources Internet
  www.web-graph.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é.
  Véhicule : Trafic routier
  www.emtis.fr