Pragmadev (Associated)

PragmaDev provides a set of modeling and testing tools for the development of real time and embedded software: Real Time Developer Studio. RTDS provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling, the most common, is mainly used for documentation; the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, test generation, and test of the model.

Contact

Pragmadev
18, Rue des Tournelles
75004 Paris
France
Tel. +33 1 42 74 15 38
Fax +33 1 42 74 15 58
www.pragmadev.com
 
Mr. Emmanuel Gaudin
Founder & CEO
emmanueldotgaudinatpragmadevdotcom

Domain
Field of Competence