Please find below the prices and detailed features for each module.
Tool Feature |
PragmaDev Process |
PragmaDev Specifier |
PragmaDev Developer |
PragmaDev Tester |
PragmaDev Studio |
PragmaDev Tracer |
BPMN Editor | X | - | - | - | - | - |
BPMN Executor | X | - | - | - | - | - |
BPMN Explorer | X | - | - | - | - | - |
BPMN Simulator | X | - | - | - | - | - |
MSC - PSC | X | 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 export | - | - | - | - | X | - |
SDL explorer (model checking) | - | - | - | - | X | - |
SDL to C/C++ code generator | - | - | - | - | X | - |
Freemium license (€) | 0 | 0 | 0 | 0 | 0 | 0 |
Monthly subscription / license (€) | 90 | 170 | 170 | 170 | 290 | 0 |