Home > Product > Prices


PragmaDev Studio can be freely downloaded here. You can either: PragmaDev modules are based on a floating license mechanism that can be shared over your local network. One license is one user at a time, and the same license can be used over Windows, Linux, Mac, and Solaris.

Please find below the prices and detailed features for each module or for the whole Studio.

Tool

Feature

PragmaDev
Specifier
PragmaDev
Developer
PragmaDev
Tester
PragmaDev
Studio
PragmaDev
Tracer
MSC - PSC X X X X X
HMSC - Use Case X X X X -
Prototyping GUI X X X X -
Documentation generator X X X X -
Model Diff / Merge X X X X -
ASN.1 X X X X -
Traceability X X X X -
SDL model editors X - - X -
SDL model simulator X - - X -
SDL-RT model editors - X - X -
SDL-RT to C code generation - X - X -
MSC to TTCN-3 code generation - - X X -
TTCN-3 advanced editor - - X X -
TTCN to MSC generation - - X X -
TTCN-3 simulator - - X X -
TTCN-3 to C++ code generator - - X X -
SDL deployment simulator - - - X -
SDL performance analyzer - - - X -
SDL to PR/FIACRE/IF/xLIA export - - - X -
SDL to C/C++ code generator - - - X -
Freemium license () 0 0 0 0 0
Monthly subscription / license () 170 170 170 290 0
Permanent license / license () 3,900 3,900 3,900 9,000 0
Yearly maintenance / license () 741 741 741 1,710 0