Vienna Development Method (VDM) A program development method based on formal specification using the {Vienna Development Method Specification Language} (VDM-SL). [Details?] [Is there such a thing as "Vienna Definition Method"?] (2000-11-02)
版权所有 © 2024 3Dict.cn