PragmaDev Specifier

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