PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements:

1) PragmaDev Process permet de décrire ou d'importer un processus métier avec la notation BPMN et de vérifier qu'il est correct.

2) PragmaDev Studio permet de décrire: l'architecture, la spécification fonctionnelle, la conception et les tests de conformité des systèmes temps réel embarqués. Il intègre plusieurs outils basés sur des standards internationaux qui s'adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.