1. Електронний архів ДонНТУ м.Покровськ
  2. Наукові видання ДонНТУ
  3. Наукові періодичні видання
  4. Серія: Обчислювальна техніка та автоматизація
  5. Випуск 47
Please use this identifier to cite or link to this item: https://ea.donntu.edu.ua/jspui/handle/123456789/16048
Title: ФОРМИРОВАНИЕ И ВЕРИФИКАЦИЯ НОРМАТИВНЫХ ПРОФИЛЕЙ КРИТИЧЕСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ ЗНАНИЕОРИЕНТИРОВАННЫХ МЕТОДОВ
Authors: Харченко, B.C.
Шостак, И.В.
Манжос, Ю.С.
Скляр, В.В.
Keywords: software
regulatory profiles
knowledge-oriented methods
нормативные профили
программное обеспечение
знание ориентированные методы
Issue Date: 2002
Publisher: ДонНТУ
Citation: Наукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 47 — Донецьк: ДонНТУ, 2002
URI: http://ea.donntu.edu.ua/handle/123456789/16048
Appears in Collections:Випуск 47

Files in This Item:
File Description SizeFormat 
233-239.pdf5,12 MBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.