Pragmadev
Modeling, simulation and testing tools for communicating and real-time systems, used by aerospace and telecom engineers
Highlights
- New on EvolcAdded 2026-11-03
About Pragmadev
PragmaDev builds model-based engineering tools. PragmaDev Studio covers specification, design, development, testing and tracing of communicating systems, and PragmaDev Process is a BPMN modelling, verification and simulation tool for business process modellers.
Its customers named on the website include Airbus, Renault, Nokia, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom and LG Electronics. The company states it has partnerships with key players in the real-time domain.
PragmaDev is headquartered in Paris, France, and was founded in 2001 (registered as a SAS). The website lists news items through 2026, including a presentation at the Paris Air Forum and sponsorship of the ERTS 2026 conference.
Product: PragmaDev Studio (Specifier, Developer, Tester, Tracer) and PragmaDev Process, software tools for modelling, verifying and testing systems and business processes.
Jobs at Pragmadev
More developer tools companies
Procal
3D CAD/BIM software for building-envelope contractors, construction firms and design officesNew on EvolcRespawnsive
Open-source .NET libraries for resilient web API requests in mobile and MAUI applicationsNew on EvolcRyax Technologies
Hybrid compute orchestration software for organizations running AI, data and HPC workloadsNew on EvolcRemote-friendlyScalingo
European PaaS and managed database hosting for developers and IT teams deploying applications and data servicesNew on EvolcSeve'up
Browser-based BIM software for teams checking IFC model quality, requirements and issuesNew on EvolcSodius
Engineering software and toolchain integration for regulated-industry engineering teamsNew on Evolc
Website technologies
Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.
Analytics
- Google Analytics 4High confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Website resourcedeclared script/iframe or software asset
- Google Tag ManagerMedium confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Integration code on pageinline script loader
Hosting
- ApacheHigh confidence
- First detected
- Last detected
- Last checked
Detection evidence
- Response headerserver
Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.