Описание тега vdm-sl

Описание тега Вопросы с тегом

A language for the design and specification of systems, supporting the Vienna Development Method. The VDM language is supported by the Overture Tool.

A language for the design and specification of systems, supporting the Vienna Development Method. The VDM language is supported by the Overture Tool at http://overturetool.org/