Ingénierie informatique

Sous-catégories : Ingénierie informatique

• Méthodes Formelles

Sites de l'annuaire : Ingénierie informatique

• Informatique Didier Genevois - Consultant Pacbase DB2 - Sites web - Référencement
  Consultant expert PACBASE DB2 assure des prestations de services en entreprise sur Mainframe IBM secteur banques, assurance, distribution, industrie. Réalisation de sites internet pour les artisans et petites entreprises. Référencement de sites internets. Imagerie numérique, photo numérique, retouche photo et travaux informatiques sur mesure.
  www.indg.fr
• Amabis
  Formalisation, création, fiabilisation, exploitation, hébergement et datamining de base de données marketing - gestion de la relation client. Qualité de l'adresse : RNVP, déduplication, enrichissement, IRIS2000, scoring
  www.amabis.com
• BASOM, Cabinet Conseil Informatique
  BASOM, Cabinet Conseil Informatique, est spécialisé dans les missions d'Audit, de Conseils, de Troubleshooting en environnement Systèmes, de Sécurité Informatique et de Réseaux et Télécoms. Le niveau d'expertise des consultants de BASOM Informatique dans chaque domaine technologique, permet d'étudier et de mettre en oeuvre les meilleures solutions.
  www.basom.fr
• Deodis - Conseil et intégration - gestion des infrastructures
  Pour accompagner l'entreprise dans la mise en œuvre d'une gestion efficace de ses Infrastructures et de son Service Desk, deodis a développé une offre très large d'intégration de logiciels et d'intégration de services à très forte valeur ajoutée. Tierce maintenance applicative, assistance à maitrise d'ouvrage, formations certifiantes ITIL.
  www.deodis.com

---

• Société d'infogérance pme pmi particuliers: Omnixia
  Omnixia, votre partenaire informatique pme pmi particuliers, vous accompagne tout au long de votre activité. Omnixia propose des solutions intégrées en infogérance, réseaux d'entreprise, conseil, formation et développement.
  www.omnixia.com
• Compu-Zen - L'informatique en toute sérénité
  - Vente et installation de PCs pour les particuliers et les professionnels. - Assemblage uniquement de composants de grandes marques. - Main d'oeuvre à partir de 50 € H.T. de l'heure.
  www.compu-zen.com
• IPE INFORMATIQUE Stanko Maroulevski
  Services informatiques proposés aux Particuliers, Entreprises Individuelles, Petites et Moyennes : assistance, dépannage, maintenance, formation, systèmes de gestion informatisée monoposte ou réseau, création sites web statiques ou dynamiques, pages HTM.
  www.ipeinformatique.com
• Architecture Réseaux et Communication
  ARC Architecture Réseaux et Communication fondée par Michel SABALETTE en 1994 est un bureau d'études, un organisme de formation agrée, un éditeur de logiciel de gestion spécialisé dans les domaines du câblage Voix, Données, Image, des Télécoms.
  www.arcbe.com
• E-business services création site sites Web internet tunisie
  e-business agence Web spécialisée dans les nouvelles technologies de l'information basées sur Internet: création et refonte de sites Web, gestion de structure et de contenu, référencement et positionnement, mesure d'audience et audit de navigation, détection des robots.
  www.e-business.com.tn
• Ibizz - Logiciels de traçabilité - RFID - Informatique nomade
  Ibizz conçoit, développe et réalise des solutions globales à base de RFID (Radio Frequency Identification) et d'informatique nomade pour vous aider à traçer les objets que vous utilisez, produisez ou distribuez. Vente de tags et de lecteurs RFID. Vente de lecteurs bi-technologie (codes à barres et RFID) Lecteur RFID bluetooth Conseil et aide à l'intégration de RFID à vos propres projets.
  www.ibizz.fr
• Natural Solutions - ecoinformatique expertise
  Natural Solutions est une entreprise innovante qui vise à combler le fossé culturel qui divise les scientifiques de l'environnement et les professionnels de l'informatique. L'équipe de Natural Solutions est composée d'informaticien, d'ingénieurs en en géomatique et écologues, travaillant de concert pour produire les meilleurs logiciels au service de la communauté scientifique.
  www.natural-solutions.eu
• Ingénierie Informatique et Gestion de Projets Informatiques
  Etudes et Gestions de Projets Informatiques. Conception, analyse et développement de produits informatiques de qualité. Veille technologie, proposition de solutions informatiques efficaces et optimisées, conseil et prévention. Réalisation et référencement de sites Internet. Administration de réseaux informatiques, maintenance et formation.
  micro-agora.net
• Filtrage.net: Services Internet, Ingénierie
  Services Internet, Ingénierie, distribution Informatique et Réseaux. Création de site internet dynamiques
  www.filtrage.net
• UBI : Uhl-Bonaventure Informatique
  SSII présente en Alsace Lorraine Bourgogne Région parisienne. trois pôles de compétences : Gestion - Infrastructure - Communication
  www.ubi.fr
• Gestion électronique de documents
  Fondée en avril 2000 par des professionnels de l’informatique - ingénieur Microsoft MCSE et MCSI, formateur MCT - New Access SA, basée au Petit-Lancy (Genève), possède deux pôles de compétences spécialisées : la GED et le WEB
  www.newaccess.ch
• Cortex Informatic Ltd
  cortex informatic ltd propose to you it consulting, solution of security system, personalized software and internet application development
  www.cortexinformaticltd.biz
• SGTech informatique
  Services en Gestion Technologique et Informatique
  www.sgtech.ca
• RBS - Solutions pour PME/PMI : sites web
  RBS - SSII implantée en Alsace au service des PME-PMI : sites web et gestion de contenu, infrastructures (réseaux, système, sécurité, stockage, hébergement), solutions fonctionnelles (mobilité, gestion, Axapta, Navision, Sage, Intranet, extranet)
  www.rbs.fr
• exosys
  EXOSYS conçoit et développe des applications e-business pour les entreprises, dans les domaines internet, intranet et logiciels.
  www.exosys.net
• Ameos conseils et services informatiques
  Societe de service en informatique basée près de Strasbourg - Ameos vous accompagne dans vos différents projets : Système, Réseau, Gestion (Sage), Messagerie, Site Internet et Intranet, CMS Typo3, Formation, Windows, Linux et Opensource.
  www.ameos.com
• Reactive IT
  Realisation de sites internet et développement à façon.
  www.reactiveit.com
• Help-Line, help desk infogerance conseil
  Help-Line est une société de services dans les domaines du help desk, del'infogérance et du conseil. Infrastructure management, gestion de parc et infogérance du poste de travail. Externalisation de centre d’appels, intégration ( Experteam ), itil.
  web.helpline.fr
• Experian : outsourcing, externalisation
  Services de traitement d’informations destinés aux entreprises pour gestion relation client : gestion risque, Outsourcing, Marketing Services, Dematerialisation, Scoring, …
  www.experian.fr
• Transycons
  Nous proposons en Roumanie pour le compte de clients francophones des services de développement informatique et d'administration de réseaux à distance selon le principe de la régie offshore longue durée. Egalement traitement de données et sourcing
  www.transycons.com
• Advenio, l'informatique partenaire
  La société ADVENIO est spécialisée dans les conseils et les prestations informatiques aux TPE/PME/PMI et professions libérales.
  www.advenio.fr
• Version-Interactive
  Conseils, développements, hébergement de systèmes et d'outils de communication basés sur les technologies Internet et Multimédia.
  www.version-interactive.com
• Pro G Software
  Site de Pro-G-Software, LYON et Environs spécialisée dans le développement d'applications windows, intranet, internet, sites web (création, amélioration et gestion de sites existants). Références TOTAL, ELF, RENAULT, FRAMATOME
  www.pro-g-software.fr
• Ingeniweb - Gestion de contenu - GED
  Ingeniweb est le leader Européen autour des technologies Open Source Zope et Plone pour la conception et la mise en place de portails de gestion de contenu, d'Intranet collaboratif d'entreprise, de sites Internet de publication mais aussi de formations.
  www.ingeniweb.com
• Canalstreaming: Streaming Video, Audio
  Canalstreaming is way to host and broadcast source for streaming audio, video, radio, media players, SMIL, animation and more!! Canalstreaming est votre solution pour l'hébergement et la diffusion de vos contenus audio video radio et plus
  www.canalstreaming.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
  www.3aengineering.com
• Logiciel de gestion de parc et inventaire informatique
  Pytheas éditeur de logiciels de gestion de parc informatique, help desk et inventaire automatique. Editeur de MailGate un connecteur pop3 pour Microsoft Exchange et Lotus Domino.
  www.pytheas.com
• Salto Conseils - solutions informatiques pour les mairies
  Salto propose des solutions informatiques adaptées aux besoins des mairies avec ses packages TSE, école, maintenance, matériel, ...
  www.salto-france.com
• 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
  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.
  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.
  www.atelierb.eu
• 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.
  www.brama.fr
• 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.
  www.fersil.fr
• DOF1 : Dispositif d'Ouverture et de Fermeture des façades de quai, SIL4
  Dans le cadre du projet automatisation de la ligne 1 du métro Parisien, le système sécuritaire SIL4 DOF1, indépendant du système automatique d'exploitation des trains, est conçu pour l'ouverture et la fermeture des portes palières qui seront installées sur tous les quais de la ligne. DOF1 empêche également l'ouverture des portes du train qui se trouvent du côté opposé au quai.
  www.dof1.eu
• L'informatique scientifique et technique: solutions, produits, transfert de compétences
  ISCALEO propose une offre technologique tournée vers la résolution des problématiques liées au calcul scientifique et technique. La société est basée en région Lyonnaise. Parce que les performances d'une machine ne sont pas seulement liées au nombre de processeurs, mais également aux débits/accès mémoire, disques, à la disponibilité et au partage des données, Parce que nous n'oublions pas les coûts « cachés » engendrés par de telles solutions comme la dissipation calorifique, l'emplacement physique, ou la consommation électrique, Parce que les notions de disponibilité, d'efficacité, de prise en main, de suivi, et d'accompagnement sont toutes aussi importantes, ISCALEO sélectionne pour vous la ou les solutions qui répondent au mieux à vos besoins de calcul haute performance. Ce site présente des solutions de calculs, de visualisation, de logiciels et d'infrastructures. Il met en avant des services d'optimisation des ressources et de transfert de compétences (formations)
  www.iscaleo.com
• Conseil et services en ingénierie informatique
  Avens vous conseille et vous aide à concevoir, étudier, développer et réaliser votre projet informatique : de l'étude, à la réalisation en passant par la conception et le développement, nous vous proposons nos meilleurs intervenants à tous les niveaux d'évolution de votre projet.
  www.avens.ch
• 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.
  www.comenc.eu
• Klee Group, créateurs de solutions e-business
  La vocation de Klee Group est de concevoir et de réaliser des systèmes d'information avancés, pour des entreprises ou des organisations. Klee Group symbolise depuis 1987 la performance, la fiabilité et la qualité dans le monde des éditeurs de logiciels et des sociétés de services.
  www.kleegroup.com
• Groupe NTI et SSII Marocain - Finatech Groupe
  Acteur indépendant évoluant dans un secteur économique en plein essor, FINATECH Group est un groupe d'entreprises spécialisées dans les nouvelles technologies de l'information et dont les métiers sont complémentaires. Infrastructures et Réseaux, Digital Technologies, Interactive Technologies, Innovation Technologies - FINATECH Group - Un groupe, une philosophie, une vision.
  www.finatech.com

Référencement Ingénierie informatique

Référencer un site dans cette rubrique est gratuit, respectez simplement ces consignes :

• d'abord vérifiez que le site à référencer respecte les règles de l'annuaire
• si votre site est associé à un lieu géographique, inscrivez-le dans la sous-catégorie de : pays, régions, départements ou villes adaptée à la thématique de votre site
• sinon, vous pouvez référencer un site dans l'annuaire (Ingénierie informatique)

Inscrire un site dans l'annuaire Ingénierie informatique
Recherche - Nouveaux sites - FAQ - Contact