Процедури аналізу і синтезу моделей надійності програмних засобів з використанням матриць припущень
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Процедури аналізу і синтезу моделей надійності програмних засобів з використанням матриць припущень
|
|
| Creator |
Харченко, В. С.
Тарасюк, О. М. |
|
| Description |
Запропоновано комплекс формальних процедур для систематизації, аналізу, комплексування, верифікації та синтезу моделей надійності програмних засобів. Сформульовано послідовність використання процедур при оцінці надійності. Formalized procedures of systematization, analysis, complexation, verification and synthesis of software reliability models are developed. A general algorithm of using these procedures is proposed. |
|
| Date |
2015-11-23T09:34:15Z
2015-11-23T09:34:15Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Харченко В. С. Процедури аналізу і синтезу моделей надійності програмних засобів з використанням матриць припущень / В. С. Харченко, О. М. Тарасюк // Вісник Національного університету «Львівська політехніка». – 2003. – № 470 : Комп'ютерні системи проектування. Теорія і практика. – С. 97–101. – Бібліографія: 12 назв.
http://ena.lp.edu.ua:8080/handle/ntb/30285 |
|
| Language |
ua
|
|
| Publisher |
Видавництво Національного університету "Львівська політехніка"
|
|