.vdm Extensión de archivo
Tipo de archivo 1VDM Specification File
Desarrollador | VDM |
Categoría | Archivos de desarrollador |
Formato | Text |
.VDM opción 1
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++.
Windows |
|
Linux |
|
Macintosh |
|
Tipo de archivo 2VEDIT Macro File
Desarrollador | Greenview Data |
Categoría | Archivos de desarrollador |
Formato | Text |
.VDM opción 2
Archivo macro utilizado por VEDIT, un programa utilizado para la edición de archivos de texto de gran tamaño; contiene código de programa macro escrito en el lenguaje de scripting de VEDIT; automatiza las funciones de edición de archivos de VEDIT, como el formateo, los reemplazos de texto o la traducción entre codificaciones de texto.
Los archivos VDM pueden utilizarse para controlar completamente la funcionalidad proporcionada en VEDIT. Las macros VDM pueden operar en archivos de hasta más de 100 gigabytes de tamaño, y pueden ejecutarse en cualquier tipo de archivo, incluyendo texto, binario, hexadecimal o EBCDIC.
Windows |
|