Clearsy sytem engineering

 Sites de l'annuaire

Voici des sites 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....
  Modélisation graphique
  Méthodes formelles
  Méthode b
  Clearsy sytem engineering
  Simulation de modèle
  Langage b
  Représentation graphique d'un système
  Représentation graphique d'un logiciel
  Projet RODIN
  Animations graphiques
  
  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...
  Système sécuritaire
  Système industriel
  Sûreté de fonctionnement
  Méthode B
  Méthodes formelles
  Preuve automatique
  Atelier b
  Outils b
  Outils preuve
  Niveau sil4
  
  Catégorie : Informatique > Ingénierie informatique
  http://www.clearsy.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....
  Sil 4
  Safety integrity level
  Système sécuritaire
  Système ferroviaire
  Système métro
  Normes sécuritaires
  Méthodes formelles
  Méthode b
  Sécurité trains
  Sûreté de fonctionnement
  
  Catégorie : Informatique > Ingénierie informatique
  http://www.fersil.fr/
• BLIASoft Knowledge Discovery - Logiciel d'Intelligence Artificielle
  Basé sur des techniques d'intelligence artificielle BLIASoft Knowledge Discovery est un logiciel d'analyse des données et d'aide à la décision innovant permettant de modéliser, comprendre et optimiser les processus les plus complexes. Son principe général est d'extraire des modèles à partir d'une analyse des données obtenues par observation ou expérimentation (approche reverse engineering)....
  Analyse des données
  Extraction des connaissances
  Modélisation des processus complexes
  Reverse engineering
  Bases de données
  Intelligence artificielle
  Logique floue
  Techniques d'apprentissage supervisé
  Optimisation multicritères
  Aide à la décision
  
  Catégorie : Informatique > Intelligence artificielle
  http://www.bliasoft.com/
• DFC Engineering : Ingénierie informatique
  DFC Engineering est une société de service en ingénierie informatique créée en 2000 et implantée à Montpellier. Présente sur l'ensemble du territoire français, DFC compte aujourd'hui plus d'une cinquantaine de clients dans de nombreux secteurs d'activité. Nous accompagnons les entreprises et collectivités dans leurs projets informatiques durant les différentes phases d'analyse, de conseil et de développement autour de quatre pôles principaux : ingénierie, conseil, infogérance, multimédia. Nos services conçus pour répondre à des besoins concrets et nos moyens humains souples font la force de notre société....
  Ingénierie informatique
  SAGE Gestion
  Solutions PME
  Infogérance et Assistance
  Création de site internet
  Conseil et audit
  Editique entreprise
  Réduction des coûts d'impression
  Prestations Multimédia
  Tierce maintenance applicative
  
  Catégorie : Informatique > SSII
  http://www.dfc-e.com/
• 3A ENGINEERING
  Aveyron Rodez Villefranche Millau Tarn Albi Lot Figeac Vente et service après vente de micro-informatique, télécopieur Développement informatique : gestion, intranet,sites internet Formation
  Catégorie : Informatique > Ingénierie informatique
  http://www.3aengineering.com/

 Définitions

Voici des définitions figurant dans notre dictionnaire :

1. ISOC : Organisme de coordination visant à faciliter le maintien et le développement du web.L'ISOC définit des normes et des protocoles Internet, en collaboration étroite avec les acteurs du Net et les autres organisations en charge du déploiement ou du cont...
2. IESG : Petit groupe d'experts validant (ou non) les ébauches de normes et de standards Internet qui lui sont communiquées.L'Internet Engineering Steering Group supervise les travaux menées par la communauté IETF, cette communauté chargée de spécifier des no...
3. Web Ingénierie : Outils et méthodes employés dans la conception et le développement d'applications utilisées via un navigateur internet. Outils et méthodes employés dans la conception et le développement d'applications utilisées via un navigateur internet. Sont conc...
4. Thales : Thales figure parmi les leaders européens de la fabrication et de la commercialisation d'équipements et de systèmes électroniques destinés aux secteurs aéronautique, naval et de la défense. Le CA du groupe Thales par famille de produits et service...
5. IPv6 : Version 6 du protocole Internet, IPV6 est le successeur de la version actuelle (IPV4).Cette nouvelle génération du protocole Internet a été définie par l’IETF (L'Internet Engineering Task Force), un groupe informel dont les membres contribuent à l'év...

 Actualités

Voici les dernières actualités analysées par notre agrégateur au sujet de "Clearsy sytem engineering" :