Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
специфікація, спецификация
Підтеми:
Документи:
- Буда, А. Г. Особливості виконання графічної роботи "Деталювання" в умовах дистанційного навчання [Текст] / А. Г. Буда // Інноваційні технології в будівництві : збірник матеріалів Міжнародної науково-технічної конференції, 10-12 листоп. 2020 р. / МОН України, ВНТУ. – Вінниця : ВНТУ, 2020. – С. 280-282.
- Бурдонов, И. Б. Пополнение спецификации для ioco [Текст] / И. Б. Бурдонов, А. С. Косачев // Программирование. – 2011. – № 1. – С. 3-19.
- Бурдонов, И. Б. Полное тестирование с открытым состоянием ограниченно недетерминированных систем [Текст] / И. Б. Бурдонов, И. С. Косачев // Программирование. – 2009. – № 6. – С. 3-18.
- Винник, В. Ю. Модификация метода ІОТА для неиерархических типов [Текст] / В. Ю. Винник // Кибернетика и системный анализ. – 2003. – № 1. – 167-176.
- Казимир, В. В. Мова специфікацій імітаційного моделювання та методика її застосування [Текст] / В. В. Казимир, М. В. Демшевська, А. О. Азарова // Вісник ВПІ. – 2000. – № 1. – С. 67-71.
- Кардаш, Я. А. Апарат і методи специфікації в інженерії знань [Текст] / Я. А. Кардаш // Інформаційні технології та комп'ютерна інженерія. – 2009. – № 3. – С. 82-87.
- Кривий, С. Л. Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва // Кибернетика и системный анализ. – 2003. – № 2. – 15-36.
- Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 4. – 22-28.
- Лисков, Б. Использование абстракций и спецификаций при разработке программ [Текст] / Б. Лисков, Дж. Гатэг ; Пер. с англ. С.А.Жигалкина и др. – М. : Мир, 1989. – 424с. – ISBN 5-03-000489-0.
- Чеботарев, А. Н. О классе формул языка L*, специфицирующих автоматы с конечной памятью [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 3-9.
- Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L* [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 60-69.
- Чеботарев, А. Н. Синтез алгоритма по его логической спецификации [Текст] / А. Н. Чеботарев // Управляющие системы и машины. – 2004. – № 5. – 53-60.
- ГОСТ 21.110-95 СПДС. Правила выполнения спецификации оборудования, изделий и материалов [Текст] : (Система проектной документации для строительства). – Взамен ГОСТ 21.109-80. 21.110-82. 21.111-84.
- ГОСТ 28270-89(ИСО 8211-85) Системы обработки информации. Спецификация файла описания данных для обмена информацией [Текст].
- ДСТУ Б А.2.4-10-95 (21.110-95) СПДБ. Правила виконання специфікації обладнання, виробів і матеріалів [Текст] : (Система проектної документації для будівництва). – Зам. на ДСТУ Б. А.2.4-102 : 2009. – 8 с.
- Методичні вказівки до виконання ремонтних креслень у дипломному і курсовому проектуванні для студентів напрямів підготовки 0923 - "Зварювання", 0902 - "Інженерна механіка" спеціальності 7.092303 "Технологія і устаткування відновлення [Текст] / МОН України; Уклад. О. Л. Гайдамак, В. І. Савуляк, Т. Ф. Архіпова. – Вінниця : ВНТУ, 2004. – 20 с.
- Методичні вказівки до виконання ремонтних креслень у дипломному і курсовому проектуванні для студентів напрямів підготовки 0923 - "Зварювання", 0902 - "Інженерна механіка" спеціальності 7.092303 "Технологія і устаткування відновлення [Електронний ресурс] / ВНТУ ; уклад.: О. Л. Гайдамак, В. І. Савуляк, Т. Ф. Архіпова. – Електрон. текстові дані. – Вінниця : ВНТУ, 2004.
|