Pragmadev

modeling and testing tools

PragmaDev has always focused on standard formal modeling technologies in its set of tools. A formal technology allows to design complete and unambiguous models, necessary to address the issues brought by the multiplication of communicating systems.

Rate and write a review

Your email address will not be published. Required fields are marked *

Rue des Tournelles 18
Paris 75004 Île-de-France FR
Get directions
08:30 - 17:30