|
| Название (рус.): | Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Венский метод разработки. Язык спецификации. Часть 1. Базовый язык |
| Название (англ.): | Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language |
| Описание (англ.): | Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools. |
| Область применения: | Eingeschraenkter sachlicher Geltungsbereich siehe Abschnitt 1(Scope). |
| Дата регистрации: | 01.02.97 |
| Дата введения: | 01.12.96 |
| Код ОКС(МКС): | 35.060 |
| Нормативные ссылки: | BS ISO/IEC 13817-1(1997/BSI), EQV ISO 8859-1-1987*ISO/IEC 14977-1996 |
| Ключевые слова: | ARTIFICIAL LANGUAGES COMPUTER SOFTWARE DATA PROCESSING DEFINITIONS INFORMATION TECHNOLOGY PROGRAMMING LANGUAGES SYNTAX COMPUTER PROGRAMS |
|