Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

Расширенный поиск
Главная страница
 
Просмотреть
Разделы
и коллекции
По дате
По автору
По заглавию
По тематике
 
Зарегистрированным:
Обновления на e-mail
Мой архив
ресурсов
Редактировать профиль
 
О DSpace

eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Обчислювальна техніка та автоматизація >
Випуск 47 >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.ru/handle/123456789/16048

Название: ФОРМИРОВАНИЕ И ВЕРИФИКАЦИЯ НОРМАТИВНЫХ ПРОФИЛЕЙ КРИТИЧЕСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ ЗНАНИЕОРИЕНТИРОВАННЫХ МЕТОДОВ
Авторы: Харченко, B.C.
Шостак, И.В.
Манжос, Ю.С.
Скляр, В.В.
Ключевые слова: software
regulatory profiles
knowledge-oriented methods
нормативные профили
программное обеспечение
знание ориентированные методы
Дата публикации: 2002
Издатель: ДонНТУ
Библиографическое описание: Наукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 47 — Донецьк: ДонНТУ, 2002
URI: http://ea.donntu.edu.ua/handle/123456789/16048
Располагается в коллекциях:Випуск 47

Файлы этого ресурса:

Файл Описание РазмерФормат
233-239.pdf5.12 MBAdobe PDFПросмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.