VDM-SL

略語別表記イニシャリズム

(software, languages) Initialism of VDM Specification Language.

日本語の意味

VDM仕様言語の略称 / VDM Specification Language（VDM仕様言語）の頭字語

The development team used VDM-SL to formally specify the system's behavior before implementation.

開発チームはVDM仕様言語を使用して、実装前にシステムの振る舞いを形式的に仕様化した。

意味（1）

(software, languages) Initialism of VDM Specification Language.