PragmaDev Specifier aims at helping system engineers, architects, and specifiers to express their needs in a graphical and executable functional model. The models designed with PragmaDev Specifier can be tested with test cases designed with PragmaDev Tester. This allows automatic non regression testing in the functional model, very early in the development process.
Unified Modeling Language Tools
MSC - PSC
HMSC - Use Case
Prototyping GUI X
Model Diff / Merge
SDL model editors
SDL model simulator
Freemium license (€) 0
Monthly subscription / license (€) 170
Permanent license / license (€) 3,900
Yearly maintenance / license (€) 741
Small (<50 employees), Medium (50 to 1000 employees), Enterprise (>1001 employees)
PragmaDev Studio is a modeling tool which helps managing complexity inherent to developing todays communicating systems. It integrates four different tools based on international standard technologies. Each tool is dedicated to a user profile: architects/system engineers, developers, and testers.PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency.
PragmaDev Specifier aims at helping system engineers, architects, and specifiers to express their needs in a graphical and executable functional model.The model expresses the expected architecture of the system and the behavior of the different elements. The modeling technology implemented in PragmaDev Specifier is executable, so not only the static organization of the system is verified but more important its overall dynamic.
PragmaDev Specifier : Define the logical and physical architecture of the system; Define the static interfaces between the different agents of the architecture; Describe the Dynamic behavior of each agent; Connect the model to a real part of the system.PragmaDev Studio can import requirements files.
The modeler can keep trace from a requirement to a model and testing will automatically analyze which part of the model it has covered. Therefore the impact analysis is straightforward and it is possible to know which test cases should be run if a requirement is modified.Because the model is executable, the powerful built-in simulator combined with the graphical user interface prototyping tool allow a non specialist to validate the behavior of the model. The resulting set of scenarios can be used as dynamic requirements or turned into validation test cases to be run on the implementation.