Application en cours de test. Merci de nous signaler les informations manquantes ou erronées, ainsi que les éventuels dysfonctionnements de l'application : contact@numeriquedeconfiance.fr

Developpement-Devops

257 solutions trouvées

Chargement...
Filtres actifs : Développement & DevOps

GNAT Pro

Par ADACORE

GNAT Pro est une suite d'outils de développement logiciel pour les langages Ada, C/C++ et Rust. Elle comprend des compil...

Voir la fiche

GNAT Pro for Ada

Par ADACORE

GNAT Pro for Ada est un environnement de développement complet pour le langage Ada, incluant un compilateur, des outils ...

Voir la fiche

GNAT Pro for C/C++

Par ADACORE

GNAT Pro for C/C++ est un environnement de développement industriel pour les langages C et C++. Il inclut des compilateu...

Voir la fiche

GNAT Pro for Rust

Par ADACORE

GNAT Pro for Rust est une suite d'outils de compilation et de développement pour le langage Rust, incluant compilateurs,...

Voir la fiche

GNAT Static Analysis for Ada

Par ADACORE

GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse séma...

Voir la fiche

GONOGO CONSULTECH (HORUSTEST)

Par GONOGO CONSULTECH

Spécialiste de l'automatisation des tests fonctionnels web et de l'accompagnement qualité logicielle.

Voir la fiche

GRAVITEESOURCE

Par GRAVITEESOURCE

Plateforme de gestion et de sécurisation du cycle de vie complet des API synchrones et asynchrones, incluant les flux év...

Voir la fiche

Greenspector Studio

Par GREENSPECTOR

Greenspector Studio est une solution SaaS qui mesure la performance et la consommation énergétique des applications mobi...

Voir la fiche

GxpManager ECMS

Par GXPMANAGER

GxpManager ECMS (Enterprise Compliance Management System) est une plateforme low-code/no-code permettant de centraliser,...

Voir la fiche

GxpManager Studio

Par GXPMANAGER

GxpManager Studio est un outil low-code/no-code permettant aux utilisateurs de créer leurs propres applications métier c...

Voir la fiche

HAX

Par CRYSPEN

HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves...

Voir la fiche

Hexaly Studio

Par HEXALY

Hexaly Studio est une plateforme SaaS low-code pour développer, déboguer et exécuter des applications d'optimisation mat...

Voir la fiche

HOGUNSOFT Editeur d'application

Par HOGUNSOFT

HOGUNSOFT Editeur d'application est une plateforme no-code permettant de créer des applications CRM métier sur mesure. E...

Voir la fiche

Holori

Par HOLORI

Plateforme de gestion et d'optimisation de l'infrastructure cloud via Terraform, incluant visualisation et documentation...

Voir la fiche

horus test

Par GONOGO CONSULTECH

HorusTest est un outil SaaS de tests fonctionnels automatisés pour sites et applications web. Il permet de créer, exécut...

Voir la fiche

Hyperping

Par HYPERPING

Fournit des outils de surveillance de disponibilité et des pages de statut à prix abordable.

Voir la fiche

iApp Generator

Par LUHA

iApp Generator est un outil en ligne de commande qui permet de créer et déployer des applications décentralisées (iApps)...

Voir la fiche

imki CREATOR

Par IMKI

IMKI Creator est un logiciel de création d'applications sans code (low-code/no-code) permettant de concevoir des applica...

Voir la fiche

Intalio|BPMS

Par INTALIO

Intalio|BPMS est une suite de gestion de processus métier (BPMS) permettant de modéliser, exécuter et optimiser les work...

Voir la fiche

Integration Studio

Par DOTFILE

Integration Studio est un outil no-code de Dotfile permettant de connecter la plateforme à plus de 1000 applications (CR...

Voir la fiche

GNAT Pro

Par ADACORE

GNAT Pro est une suite d'outils de développement logiciel pour les langages Ada, C/C++ et Rust. Elle comprend des compilateurs, des débogueurs, des en...

GNAT Pro for Ada

Par ADACORE

GNAT Pro for Ada est un environnement de développement complet pour le langage Ada, incluant un compilateur, des outils de débogage et d'analyse stati...

GNAT Pro for C/C++

Par ADACORE

GNAT Pro for C/C++ est un environnement de développement industriel pour les langages C et C++. Il inclut des compilateurs avancés, des outils de débo...

GNAT Pro for Rust

Par ADACORE

GNAT Pro for Rust est une suite d'outils de compilation et de développement pour le langage Rust, incluant compilateurs, bibliothèques et outils de vé...

GNAT Static Analysis for Ada

Par ADACORE

GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse sémantique approfondie du code sou...

GONOGO CONSULTECH (HORUSTEST)

Par GONOGO CONSULTECH

Spécialiste de l'automatisation des tests fonctionnels web et de l'accompagnement qualité logicielle.

GRAVITEESOURCE

Par GRAVITEESOURCE

Plateforme de gestion et de sécurisation du cycle de vie complet des API synchrones et asynchrones, incluant les flux événementiels.

Greenspector Studio

Par GREENSPECTOR

Greenspector Studio est une solution SaaS qui mesure la performance et la consommation énergétique des applications mobiles et web. Elle permet d'anal...

GxpManager ECMS

Par GXPMANAGER

GxpManager ECMS (Enterprise Compliance Management System) est une plateforme low-code/no-code permettant de centraliser, exploiter et analyser des don...

GxpManager Studio

Par GXPMANAGER

GxpManager Studio est un outil low-code/no-code permettant aux utilisateurs de créer leurs propres applications métier conformes aux réglementations (...

HAX

Par CRYSPEN

HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves formelles (F*, Rocq, ProVerif...

Hexaly Studio

Par HEXALY

Hexaly Studio est une plateforme SaaS low-code pour développer, déboguer et exécuter des applications d'optimisation mathématique. Elle intègre un édi...

HOGUNSOFT Editeur d'application

Par HOGUNSOFT

HOGUNSOFT Editeur d'application est une plateforme no-code permettant de créer des applications CRM métier sur mesure. Elle offre un studio de paramét...

Holori

Par HOLORI

Plateforme de gestion et d'optimisation de l'infrastructure cloud via Terraform, incluant visualisation et documentation.

horus test

Par GONOGO CONSULTECH

HorusTest est un outil SaaS de tests fonctionnels automatisés pour sites et applications web. Il permet de créer, exécuter et maintenir des scénarios ...

Hyperping

Par HYPERPING

Fournit des outils de surveillance de disponibilité et des pages de statut à prix abordable.

iApp Generator

Par LUHA

iApp Generator est un outil en ligne de commande qui permet de créer et déployer des applications décentralisées (iApps) sur le réseau iExec. Il facil...

imki CREATOR

Par IMKI

IMKI Creator est un logiciel de création d'applications sans code (low-code/no-code) permettant de concevoir des applications métiers, des portails et...

Intalio|BPMS

Par INTALIO

Intalio|BPMS est une suite de gestion de processus métier (BPMS) permettant de modéliser, exécuter et optimiser les workflows. Elle offre des fonction...

Integration Studio

Par DOTFILE

Integration Studio est un outil no-code de Dotfile permettant de connecter la plateforme à plus de 1000 applications (CRM, messagerie, etc.) et de cré...

Filtres

Effacer tous les filtres