Зведений каталог бібліотек Києва

 

ШостакивШостак, И. В.
    Категорная модель языка стандартов для автоматизации процесса формирования нормативного профиля при сертификации программного обеспечения [Текст] / И.В. Шостак, Ю.И. Бутенко // Збірник наукових праць Військового інституту Київського національного університету імені Тараса Шевченка. — Київ : ВІКНУ, 2013. — Вип. № 42. — С. 63-68.


- Ключові слова:

техніка, техника ; озброєння, вооружение, armament, armement

- Анотація:

Описана структура категорной модели языка стандартов для автоматизации процесса формирования нормативного профиля. Выявлена формальная структура текстов стандартов, выделены основные средства структурной формализации текста. Предложено деление текста стандарта на три части: предварительную часть, рекомендации и требования, информативную часть. В качестве примера приведен фрагмент стандарта МЭК 60880, построенный в Protege 4.2.

- Є складовою частиною документа:

Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт