Source code of a program based on VDM (the Vienna Development Method), a set of techniques for modeling computing systems; contains code written in VDM-SL (the VDM Specification Language) or VDM++.
The PEPS suite of software is a Computer Aided Manufacturing (CAM) system based upon an integrated suite of software with facilities for designing geometrical models with its in-built CAD drawing tools or importing models from external CAD systems, and CNC part programming. The PEPS system takes a central part in fully integrated CAM installations, but is also ideally placed to provide an affordable solution to the CNC part programming needs of engineering businesses of all sizes.
Macro file used by VEDIT, a program used for editing large text files; contains macro program code written in the VEDIT scripting language; automates VEDIT file editing functions, such as formatting, text replacements, or translating between text encodings. VDM files can be used to fully control the functionality provided in VEDIT. VDM macros can operate on files up to 100+ gigabytes in size, and they can be run on any type of file, including text, binary, hex, or EBCDIC.