SIGMA-VISION.COM SARL
MENDE, FR
Développement de logiciels collaboratifs dédiés à l'écoconception et à la protection de la biodiversité.
À propos
SIGMA-VISION.COM : Développement logiciel et outils collaboratifs pour l'écoconception et la protection de la biodiversité depuis 2000.
Solutions proposées
Aucune solution enregistrée pour le moment.
Informations juridiques
Source : INSEE
Localisation
POLEN 12 RUE ALBERT EINSTEIN 48000 MENDEFR
Éditeurs similaires
COGELIS
VANDŒUVRE-LES-NANCY, France
Conseil et développement informatique pour la transformation numérique, avec des solutions sur mesure sur EBP, Microsoft et Oracle.
GRAPHISOFT FRANCE
PUTEAUX, France
Éditeur de logiciels BIM pour le secteur de l'architecture, de l'ingénierie et de la construction
JAYA
PARIS, France
Conception de solutions numériques pour la protection de la biodiversité et la sensibilisation environnementale.
OCAMLPRO
GIF-SUR-YVETTE, FR
Titagone/OCamlPro est à la fois un éditeur de logiciels, spécialisé dans la résilience et la qualité logicielle, et un bureau d'étude (R&D) pour les solutions innovantes. Avec plus de 25 ingénieurs R&D, dont 80% de docteurs en informatique, l'entreprise fait le pont entre plus de 15 ans d'expérience du développement informatique et un ADN proche des milieux académiques et open-source. L'activité d'éditeur de logiciels, portée par l'enseigne Titagone, propose d'une part SuperBOL/GnuCOBOL, une offre souveraine et open-source avec un environnement complet pour l'exécution du COBOL, déjà adoptée par plusieurs administrations et grandes entreprises, et d'autre part des outils de développement pour améliorer la qualité logicielle, et en particulier la détection/suppression de bugs, comme l'outil SeaCoral de génération automatique de tests unitaires pour le C embarqué. L'activité de bureau d'étude, portée par le nom historique OCamlPro, relève des défis de conception complexes grâce à des méthodes formelles. Elle développe des solutions sur mesure, telles que la création de langages dédiés (comme le langage Niagara, qui remplace les fichiers Excel pour les producteurs de cinéma, aujourd'hui commercialisé par la Spinoff Kopek), l'audit de code, la vérification et l'optimisation. Pour ce faire, elle s'appuie sur l'utilisation de langages de programmation de pointe fortement typés, comme OCaml et Rust.
