Browsing by Author "Тарасюк, О. М."

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Процедури аналізу і синтезу моделей надійності програмних засобів з використанням матриць припущень
    (Видавництво Національного університету "Львівська політехніка", 2003) Харченко, В. С.; Тарасюк, О. М.
    Запропоновано комплекс формальних процедур для систематизації, аналізу, комплексування, верифікації та синтезу моделей надійності програмних засобів. Сформульовано послідовність використання процедур при оцінці надійності. Formalized procedures of systematization, analysis, complexation, verification and synthesis of software reliability models are developed. A general algorithm of using these procedures is proposed.