PragmaDev Studio es un entorno de desarrollo para especificar y diseñar sistenas de comunicaciones utilizando SDL (Specification and Description Language, ITU Z.100). Integra diferentes herramientas basadas en estandares internacionales de comunicaciones. Las especificaciones hechas con PragmaDev permiten a los ingenieros de sistemas asegurar la especificación precisa (no ambigua), verificar las funcionalidades del sistema, y definir la mejor arquitectura para asegurar el rendimiento y la eficiencia

La herramienta de diseño y especificacion formal SDL se puede descargar de PragmaDev Studio downloads

El manual de Referencia lo podemos encontrar en: Manual Referencia SDL

Videos de Ejemplo de Funcionamiento de la Herramienta PragmaDev Studio los podemos encontrar en: VIdeos SDL

Código Fuente SDL basado en la Herramienta PragmaDev Studio lo podemos encontrar en: Código Fuente SDL