English PragmaDev Studio Cited by user Manu31415 on 21 Mar 2018 PragmaDev Studio is a modeling tool introduced by PragmaDev in 2002. It was initially called Real Time Developer Studio or RTDS.