.VDM Extensión de archivo
Archivo de especificación VDM
| Desarrollador | VDM |
| Popularidad |
3.0 | 20 Votos |
¿Qué es un archivo VDM?
Código fuente de un programa basado en VDM (el Método de Desarrollo de Viena), un conjunto de técnicas para modelar sistemas informáticos; contiene código escrito en VDM-SL (el Lenguaje de Especificación VDM) o VDM++.
Programas que abren archivos VDM
Archivo de macros de VEDIT
| Desarrollador | Greenview Data |
| Popularidad |
2.8 | 8 Votos |
Archivo de macros utilizado por VEDIT, un programa para editar archivos de texto grandes; contiene código de programa de macros escrito en el lenguaje de scripting de VEDIT; automatiza funciones de edición de archivos de VEDIT, como dar formato, reemplazar texto o traducir entre codificaciones de texto.
Más información
Los archivos VDM se pueden utilizar para controlar completamente las funciones proporcionadas por VEDIT. Las macros VDM pueden operar en archivos de más de 100 gigabytes y se pueden ejecutar en cualquier tipo de archivo, incluidos archivos de texto, binarios, hexadecimales o EBCDIC.