Brama, outil de modélisation graphique de modèle formel B
Ingénierie informatique
Présentation du site
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 : le site www.brama.fr est classé dans Ingénierie informatique
Annonces Ingénierie informatique : déposez votre petite annonce gratuitement !
Fiche technique du site www.brama.fr
Voici quelques informations techniques concernant ce site.
Nom de domaine
Bravo, vous avez compris que pour un bon référencement il est indispensable d'héberger son site avec un nom de domaine propre.
Pensez à bien renouveler votre nom de domaine suffisamment à l'avance...
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
Compete
Quantcast
StatBrain
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
- 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.
Conformité W3C
Lisibilité
Consultez les résultats du test de lisibilité de votre page.
Divers
Autres analyses possibles sur WebRankInfo
Fiche thématique du site www.brama.fr
Voici d'autres rubriques qui peuvent également vous intéresser :
- Liens sur B, la méthode B, et les outils B développés par ClearSy : ... et Exemples concernant l'outil d'animation graphique de modèle formel B avez en tête. ... opérationnelle de la méthode B pour des développements logiciels ...
- BRAMA : un nouvel outil d'animation graphique de modèles B Clearsy ... : réactualiser la représentation graphique du système en fonction de ces interactions ... montré au client, c'est la représentation graphique du système qui est ...
- Brama - Présentation de l'Outil d'animation graphique de modèle formel B : ... de représenter par des dessins et animations graphiques, le système et ses différents états ... réaliser des animations graphiques de modèles existants. ...
Boostez votre netlinking !
Les rubriques ci-dessous ont pour objectif de vous aider à améliorer votre netlinking et donc votre référencement. Voyez comment établir un partenariat avec le site Brama, outil de modélisation graphique de modèle formel B ou avec d'autres sites de la même thématique (Ingénierie informatique).
Echanges de liens
ClearSy ne souhaite pas faire d'échanges de liens sur son site Brama, outil de modélisation graphique de modèle formel B.
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 sadapte à 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
Crédits vignette : Robothumb
Hébergement web
Pour un bon référencement, il faut un bon hébergeur. Testez Sivit, l'hébergeur choisi par Olivier Duffez pour son site WebRankInfo (+ de 3 millions de visites/mois). Vous bénéficiez d'une garantie 30 jours satisfait ou remboursé.
A partir de 1,90 EUR HT/mois.
Autres catégories
Dans le forum
Informations
Environ 200 catégories dans cet annuaire sont issues de DMOZ. Vous aussi vous pouvez apporter votre contribution au répertoire le plus complet du web, maintenu par des humains : n'hésitez pas à inscrire votre site dans DMOZ en plus de l'annuaire WebRankInfo.


