Une société indépendante qui fournit une suite d'outils pour la modélisation, le développement et le test des systèmes communicants

PragmaDev, lauréat du concours national du ministère de la recherche 2001 pour la création d'entreprises de technologies innovantes, est une société indépendante basée à Paris France qui fournit une suite voir plus

PragmaDev, lauréat du concours national du ministère de la recherche 2001 pour la création d'entreprises de technologies innovantes, est une société indépendante basée à Paris France qui fournit une suite d'outils pour la modélisation, le développement et le test des systèmes communicants: PragmaDev Studio. PragmaDev Studio comprend quatre modules indépendants s'adressant à quatre profils d'utilisateurs différents. -PragmaDev Specifier est destiné aux ingénieurs systèmes et aux architectes. L'outil leur permet de préciser les fonctionnalités et l'architecture du système indépendemment de son implémentation. -PragmaDev Developer cible toutes les équipes de développement travaillant avec un système d'exploitation temps réel, un séquenceur, ou un exécutif temps réel. L'outil s'appuie sur des représentations graphiques standards de concepts traditionnels dans le domaine du temps réel tout en intégrant le code existant. -PragmaDev Tester s'addresse aux équipes de test et permet l'automatisation des tests de validation et d'intégration. -PragmaDev Tracer est un outil de spécification et de trace qui permet aussi de définir des propriétés et de les vérifier sur des traces. L'approche pragmatique de PragmaDev Studion et son bas prix ont pour objectif une large diffusion dans un domaine où 90% des développements n'utilisent aucune modélisation. voir moins