Skip to search formSkip to main contentSkip to account menu

PragmaDev Studio

Known as: PragmaDev, Real Time Developer Studio 
PragmaDev Studio is a modeling tool introduced by PragmaDev in 2002. It was initially called Real Time Developer Studio or RTDS. Its primary… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Software developmentSpecification and Description LanguageTTCN-3

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS
Predictable behavior of wireless sensor networks calls for deterministic protocols for network-wide synchronization and collision… 
2013
2013
SDL to Fiacre translation
The translation of a system model to an intermediate format is an important step towards formal proofs of properties. This paper… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)