DS/ISO/IEC 13817-1:1998 Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Венский метод разработки. Язык спецификации. Часть 1. Базовый язык.
Эта часть ISO/IEC 13817 определяет язык спецификации на основе модели VDM-SL (язык спецификации венского метода разработки).
DS/ISO/IEC 13817-1:1998 История
1998DS/ISO/IEC 13817-1:1998 Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Венский метод разработки. Язык спецификации. Часть 1. Базовый язык.