In a few words
PragmaDev Studio helps managing complexity inherent to developing todays communicating systems. It integrates four different tools based on international standard technologies. Each tool is dedicated to a user profile: architects/system engineers, developers, and testers.
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 free stand alone tracing tool that is also integrated in the other modules.
The complete tool set includes bridges from one tool to the to other such as automatic test case generation out of a functional model (model based testing).
PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel-Lucent, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.
News and events
Feb 12, 2016
to our 30 minutes webinar on the new PragmaDev Studio.
Jan 27-29, 2016 - Toulouse - France
- PragmaDev exhibits and presents 2 papers at the ERTS2
Jan 26, 2016 - Paris - France
- PragmaDev starts its annual on-line survey
on software modeling technologies and their usage.
Dec 18, 2015
- Read Find the best architecture
article published in DSP Valley Newsletter.
Dec 9, 2015 - Paris
- PragmaDev partners with Valuways
to help its customers to deal with change management.
Nov 23-25, 2015 - Paris
- PragmaDev sponsor of the CSD&M
conference. PragmaDev will present "Towards Model-Driven Simulation of the Internet of Things" paper on Wed Nov 25 at 3:30pm.
Oct 20-22, 2015
- PragmaDev is Gold sponsor of the third ETSI User Conference on Advanced Automated Testing (UCAAT)