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.
Company Details
- Employees
- 5
- Founded
- 2001
- Address
- 18, Rue Des Tournelles, Paris,ile De France 75004,france
- Phone
- 33 142741538
- in****@****dev.com
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- pragmadev.com
- Keywords
- embedded software, real time software, modelling testing, bpmn, sdl, sdl-rt, uml, asn.1, ttcn-3, rtos, business process.
- HQ
- Paris, Ile de France
Pragmadev Questions
Pragmadev's helpline number is 33 142741538
Pragmadev's website is pragmadev.com
Pragmadev's LinkedIn profile is https://fr.linkedin.com/company/pragmadev
Pragmadev has
5 employees.
View email and phone details for 5
employees at Pragmadev.
Pragmadev's industry is
Software Development
Pragmadev's support email address is info@pragmadev.com
Pragmadev's categories are Software Development
Pragmadev's founding year is 2001
