PragmaDev est un éditeur de logiciel Français qui propose différents outils de modélisation fonctionnelle 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, 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.