PragmaDev est un éditeur de logiciel français qui propose différents outils intégrés au sein de deux environnements. 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. 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, développeurs et testeurs. Bien que les deux produits soient pertinents dans le cadre de l'industrie 4.0, lors du salon Global Industrie de Lyon, PragmaDev mettra en avant sa…