Business Intelligence
Now Reading
PragmaDev Specifier
0
Review

PragmaDev Specifier

Overview
Synopsis

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.

Category

Unified Modeling Language Tools

Features

MSC - PSC
HMSC - Use Case
Prototyping GUI X
Documentation generator
Model Diff / Merge
ASN.1
Traceability
SDL model editors
SDL model simulator

License

Proprietary Software

Price

Freemium license (€) 0
Monthly subscription / license (€) 170
Permanent license / license (€) 3,900
Yearly maintenance / license (€) 741

Pricing

Subscription

Free Trial

Available

Users Size

Small (<50 employees), Medium (50 to 1000 Enterprise (>1001 employees)

Company

PragmaDev Specifier

PAT Rating™
Editor Rating
Aggregated User Rating
Rate Here
Ease of use
7.6
8.2
Features & Functionality
7.6
9.8
Advanced Features
7.6
9.5
Integration
7.6
9.5
Performance
7.6
9.7
Customer Support
7.6
9.6
Implementation
10
Renew & Recommend
10
Bottom Line

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.

7.6
Editor Rating
9.5
Aggregated User Rating
3 ratings
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.

You may like to read: Open Source, Free and Top Unified Modeling Language (UML) Tools and How to Select the Best Flowchart Software for Your Business

Filter reviews
User Ratings





User Company size



User role





User industry





Ease of use
Features & Functionality
Advanced Features
Integration
Performance
Customer Support
Implementation
Renew & Recommend

What's your reaction?
Love It
100%
Very Good
0%
INTERESTED
0%
COOL
0%
NOT BAD
0%
WHAT !
0%
HATE IT
0%