Sign in to see all reviews and comparisons. It's Free!
By clicking Sign In with Social Media, you agree to let PAT RESEARCH store, use and/or disclose your Social Media profile and email address in accordance with the PAT RESEARCH
and agree to the
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
Small (<50 employees), Medium (50 to 1000 Enterprise (>1001 employees)
Aggregated User Rating
Ease of use
Features & Functionality
Renew & Recommend
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.
Aggregated User Rating
You have rated this
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.
PAT RESEARCH is a B2B discovery platform which provides Best Practices, Buying Guides, Reviews, Ratings, Comparison, Research, Commentary, and Analysis for Enterprise Software and Services. We provide Best Practices, PAT Index™ enabled product reviews and user review comparisons to help IT decision makers such as CEO’s, CIO’s, Directors, and Executives to identify technologies, software, service and strategies.