PragmaDev
⚠️ Tous les champs obligatoires de votre fiche de présentation (*) doivent être renseignés. Si votre fiche reste incomplète, elle ne sera pas visible dans le catalogue des membres et vous ne pourrez pas débuter les prises de rendez-vous.
- PragmaDev
Eléments clés
- Chiffre d'affaires : < 2 M€
- Effectif : 0 - 9
- Adresse : 18 rue des Tournelles
- Code postal : 75004
- Ville : Paris
- Pays : FRANCE
Description d'activité
PragmaDev fournit deux lignes de produits: 1) PragmaDev Process permet de vérifier et d'optimiser un processus métier. Il intègre un éditeur BPMN, un exécuteur, et un explorateur. 2) PragmaDev Studio permet de spécifier et de concevoir des systèmes communicants.
PROFIL
Compétences et expertises
Domaines d'application
- Aéronautique-Spatial
- Automobile - Cycles, motocycles
- Défense
- Ferroviaire
- Télécoms
Plus de précisions
PragmaDev fournit deux lignes de produits:
1) PragmaDev Process est un outil simple et puissant qui permet de vérifier un modèle métier. Il intègre un éditeur BPMN, un exécuteur, et un explorateur.
2) PragmaDev Studio aide à gérer la complexité inhérente aux systèmes communicants modernes. Il intègre quatre outils différents s'appuyant sur des standards technologiques internationaux tels que SDL, SDL-RT, ASN.1, TTCN-3, et MSC. PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleure architecture pour la performance ou l'efficacité énergétique. PragmaDev Developer permet aux concepteurs logiciel d'écrire un code maintenable et auto-documenté. PragmaDev Tester permet au testeur d'écrire des tests d'intégration et de validation avec un langage dédié, synthétique et exécutable. PragmaDev Tracer permet de décrire des scénarios attendus, des propriétés, ou de tracer une exécution.