image
 

PragmaDev


Company URL: www.pragmadev.com
Main Product URL: www.pragmadev.com/product
Company Overview: PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers.
Product/Service Description: 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. The technology used results in a graphical and executable model. Verification and validation of the dynamic of the system is done with the integrated simulator, and the best architecture is analyzed with a unique performance analyzer. PragmaDev Developer helps software designers to write maintainable and self documented code. The technology used for development describes the architecture and contains a graphical view of the main paths of execution down to the code itself. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. A substantial number of test cases with this technology are published by international standardization bodies to ensure conformance to their specifications. PragmaDev Tracer is common to all other tools. It is used in the early phase to describe the expected behavior and properties of the system to be developed. It is used in the later phase to trace execution and verify it is conform to the expected properties and scenarios described earlier on. The complete tool set PragmaDev Studio includes bridges from one tool to the other such as automatic test case generation out of a functional model (model based testing).
Other:
Structural Modeling Diagrams: Class Diagrams, Composite Structure, Deployment Diagrams
Behavioral Modeling Diagrams: Use Case Diagrams, State Machine Diagrams, Sequence Diagrams
Sales Contact: Emmanuel Gaudin
Sales Contact Email: emmanuel.gaudin@pragmadev.com
Sales Contact Phone: +33142741538
OMG Member:
OMG Membership Level: None

 

Copyright© 1997-2017 Object Management Group, Inc. All Rights Reserved. For questions about the WEBSITE, please contact webmaster@omg.org. For TECHNICAL questions, please contact webtech@omg.org.