|
|
|
 |
Partenaires |
 |
|
 |
DevQuality
propose des produits et services innovants grâce à sa relation étroite avec son réseau de partenaires :
|
 |
|
AbsInt propose des outils de développement innovants pour les systèmes embarqués ainsi que des outils pour la validation, la vérification et la certification des logiciels critiques. Crée en 1998, AbsInt est une société privée basée à Sarrebruck en Allemagne.
Les outils d'AbsInt sont basés sur une plateforme générique qui permet une réponse extrémement rapide, flexible et pertinente aux besoins des clients. Cette pertinence a été prouvée au cours de nombreux projets réussis qui ont eu pour résultat une très grande satisfaction clients.
aiT WCET Analyzer calcule par analyse statique les limites strictes du plus long temps d'execution -au pire cas - des taches de systèmes temps réel. StackAnalyzer détermine l'utilisation de la pile par les taches de votre application.
Pour plus d'information: www.absint.com |
| |
 |
Aquintos est un fournisseurs de solutions pour l'intégration des outils d'aide au développement. Crée en 2005, Aquintos est une société privée basée à Karlsruhe en Allemagne. Les technologies de model-to-model (M2M) orienté par des règles d'Aquintos constituent la base de l'intégration et de l'automatisation de nombreux process et environnements de développement pour les systèmes embarqués multi-domaines. Par ailleurs, l'outil aquintos.GS, qui permet des transformations de models bijectives, constitue une excelente plateforme permettant le travail collaboratif dans des process de développement multi-domaines.
Pour plus d'information: www.aquintos.com
|
| |
 |
Raincode est une société privée crée en 1998 et basée à Bruxelles en Belgique. Raincode développe des outils basés sur la technologie de développement logiciel Raincode qui permet la manipulation de langages techniques et de programmation tels que XML ou de langages de formatage de messages (SWIFT, ISO 8583). Raincode propose également des offres de conception de compilateurs pour les langages COBOL, PL/1, C, Pascal, C++ et ADA, de migration d'applications logicielles (base de données, systèmes d'exploitation, moniteur transactionnel) et d'assurance qualité - notamment de définition de plans qualité, de tests boîte blanche et boîte noire et d'outils de qualimétrie.
Pour plus d'information: www.raincode.com
|
| |
 |
SofCheck, Inc. est un fournisseur leader de solutions automatiques d'amélioration de la qualité logicielle qui a été crée par une équipe d'experts internationallement reconnus dans les domaines de langages de développement et des techniques de compilation. SofCheck permet aux sociétés qui développent des logiciels d'atteindre les meilleurs niveaux de qualité de façon efficace et la plus rapide possible grâce à des solutions de détection automatique et statique d'erreurs, sans nécessiter de test unitaire ou de vérification du style. Avec un taux de couverture de 100%, la technologie avancée de SofCheck pour la détection statique des erreurs est plus complète et permet de trouver les erreurs en moins de temps et à un coût plus faible que les tests dynamiques.
Pour plus d'information: www.sofcheck.com
|
| |
