維也納開發方法

由IBM的維也納實驗室創立的最早的形式化軟件開發方法之一。基於操作語義描述語言VDL（維也納定義語言）發展而來的一整套軟件開發方法和技術。

《計算機科學技術名詞 》第三版。 ^[1] 

60年代初期，IBM決定開發一種新的程序設計語言來代替FORTRAN和COBOL，這個語言後來稱為PL/1。由於這個語言比較龐大，在設計過程中使用了形式化的方法，首先定義了PL/1的操作語義，1972年，奧地利的IBM維也納實驗室做編譯系統時又為PL/1寫了指稱語義，這些工作直接導致了VDM的產生。VDM即維也納開發方法，是一種使用較早、傳播較廣的開發方法。VDM的規範描述語言稱為Meta-IV，是一種比較鬆散的語言，它有一個基本的核心，使用者可以根據需要增加新的成分。1976年IBM維也納實驗室開展新的研究方向，VDM的主要創始人Dines Bjorner和Cliff Jones各自回國繼續從事VDM的研究，在描述語言、開發方法、應用和理論等多方面取得進展。 ^[2] 

VDM的成果影響了後來的RAISE、COLD_K和VVSL等項目的研究。 ^[2]