IT Services Value proposition
Modeling and testing tools
PragmaDev provides two lines of product:
PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify their models. It integrates a BPMN editor, executor and explorer.
PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. 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 Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.
embedded software, real time software, modelling testing, bpmn, sdl, sdl-rt, uml, asn.1, ttcn-3, rtos, and business processOriginal language
Modeling and testing tools
PragmaDev provides two lines of product:
PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify their models. It integrates a BPMN editor, executor and explorer.
PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. 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 Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.
PragmaDev - Modeling and Testing tools
PragmaDev provides tools to verify and optimize business processes and to specify and design communicating systems.
http://www.pragmadev.com/
| Corporate | Type | Tweets | Articles | |
|---|---|---|---|---|
 Systematic Paris-Region Public business cluster, French Cluster, IT Services and IT Consulting | Systematic Paris-Region Public business cluster, French Cluster, IT Services and IT Consulting | Other 16 Jun 2023 | | |