Accueil > Téléchargements


PragmaDev Process V1.0

Télécharger en tant que fichier compressé pour Windows, Linux, et macOS (130 485 707 octets):

PragmaDev lance PragmaDev Process, un nouveau produit qui permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation). Le nouveau produit intègre:
  • un éditeur,
  • un exécuteur,
  • et un explorateur de modèle.
L’éditeur de modèle est gratuit sans restriction et l’exécuteur est gratuit pour les petits modèles. Notez que le gestionnaire de license PragmaDev On Line License Manager n'est pas encore actif sur nos serveurs. La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).

Exécutables ETSI SIP gratuits

Les suites de test de conformité au protocole ETSI SIP sont disponibles gratuitement sous forme d'exécutables win32, linux 32, ou linux 64. Les fichiers source TTCN-3 sont aussi disponibles, ils nécessitent une licence PragmaDev Tester pour être édités ou pour générer l'exécutable. A noter que ces fichiers sont légèrement différents des originaux de l'ETSI car des erreurs mineures ont dû être corrigées.

FLEXlm V11.5

Au cas où la version de FLEXlm intégrée avec PragmaDev Studio (V8.0) ne serait pas supportée par votre serveur de licence.

  • Pour les serveurs Linux récents avec la nouvelle glibc (V2.4 ou plus) :
Manuel FLEXlm license administration.

Versions précédentes

Les versions précédentes de notre outil peuvent être téléchargées ici (accès restreint à nos clients).

PragmaDev Studio V5.4.4

Télécharger en tant que fichier compressé pour Windows, Linux, Raspbian, et Mac (378 090 242 octets):

PragmaDev Studio V5.4 introduit:
  • Raspbian, une nouvelle plateforme hôte,
  • Auto-completion ASN.1,
  • Recherches multiples,
  • Amélioration des traces de test,
  • Support de FMI sur macOS.
La liste complète des nouvelles fonctionnalités se trouve ici (accès restreint).

Notes de version:

  • PragmaDev Tracer est intégré dans PragmaDev Studio. Il n'y a pas d'installation PragmaDev Tracer spécifique, il suffit d'installer PragmaDev Studio.

  • La version Solaris n'est pas dans cette distribution. Contacter le support pour plus d'information.

  • L'installation su MacOS peut nécessiter d'autoriser l'exécution d'un fichier téléchargé.

  • La dernière version de macOS n'est plus livrée avec gdb. De ce fait les profils de débogue dans les exemples de génération de code ne fonctionneront pas sur cette plateforme.

  • Dans certaines distributions Linux telles que Fedora 23, 24, et 25 nous avons rencontré des problèmes d'affichage (certains menus ou textes n'apparaissaient pas), voire des blocages (l'application est figée). Pour le moment un moyen de contournement est de mettre la librairie suivante dans le répertoire $RTDS_HOME/bin de l'installation de PragmaDev Studio: libfontconfig.so.1 avec les droits de lecture.

  • Dans certaines distributions Linux (comme CentOS 7), en utilisant la police par défaut fournie avec PragmaDev Studio, les caractères soulignés (underscore) n'apparaissent pas pour certaines tailles de police (taille 14 par exemple). Une solution de contournement est de modifier l'optimisation de rendu (hinting) le dans le système (pour CentOS 7 le mettre à FULL).

Manuels PragmaDev Studio

Les manuels ci dessous sont dans la distribution PragmaDev Studio: