Embedded Software Modelling & Testing Tool
PragmaDev Studio - PragmaDev SARL
PragmaDev Studio is a set of tools that helps Specifiers, Developers, and Testers to manage complexity in the development of today’s systems. PragmaDev Studio is our premium package that includes all other modules: PragmaDev Specifier, PragmaDev Developer, PragmaDev Tester, and PragmaDev Tracer, as well as a number of advanced features linking one module to another in a consistent environment.