Software model and process verification and optimisation
Software model and process verification and optimisation
Expertise Short Title
Software model and process verification and optimisation
Expertise offered
We have expertise in modeling software and business processes. We have expertise in improving our existing toolsets: 1) PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify and optimise their models. It integrates a BPMN editor, an executor, an explorer, and a simulator. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies.
Expertise key words
- A14 Network Safety / Robustness
- A15 Other network infrastructure aspects
- A2 Mobile / Wireless
- A3 Broadband, fixed networks
- A8 Network architectures and connectivity
Contact
Company: PragmaDev
Type of Organisation: SME
Country: France
Web: https://www.pragmadev.com
Telephone:
Brief description of my Organisation
Small, efficient, and dynamic SME.
