Phần mở rộng tệp .VDM
- Phát triển bởi: VDM
- Danh mục: Developer Files
- Định dạng: Text
Một tập tin VDM là gì?
VDM là tệp đặc tả VDM.
Mã nguồn của chương trình dựa trên VDM (Phương thức phát triển Vienna), một bộ kỹ thuật để mô hình hóa các hệ thống máy tính; chứa mã được viết bằng VDM-SL (Ngôn ngữ đặc tả VDM) hoặc VDM.
Loại tệp 2 Tệp VEDIT Macro.
Tệp macro được sử dụng bởi VEDIT, một chương trình được sử dụng để chỉnh sửa các tệp văn bản lớn; chứa mã chương trình macro được viết bằng ngôn ngữ kịch bản VEDIT; tự động hóa các chức năng chỉnh sửa tệp VEDIT, chẳng hạn như định dạng, thay thế văn bản hoặc dịch giữa các mã hóa văn bản.
Tệp VDM có thể được sử dụng để kiểm soát hoàn toàn chức năng được cung cấp trong VEDIT. Các macro VDM có thể hoạt động trên các tệp có kích thước lên tới 100 gigabyte và chúng có thể chạy trên mọi loại tệp, bao gồm văn bản, nhị phân, hex hoặc EBCDIC.
Windows |
|