Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення
Автори: Шкарупило В., Блінов І., Кучанський В. та ін.
Редактори: за заг. ред. В. Шкарупила
Анотація: Представлену працю присвячено висвітленню аспектів контролю показників функціональних і нефункціональних характеристик розроблюваної програмно-алгоритмічної складової систем критичного призначення, таких, як несуперечність, захищеність, пропускна спроможність тощо.
Читацька аудиторія: Монографію призначено для магістрантів та аспірантів технічних спеціальностей, зокрема для спеціальностей 122 — комп’ютерні науки; 123 — комп’ютерна інженерія.
ISBN 978-617-8126-22-3
Відповідальна установа: Ін-т проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Видано: European Scientific Platform
Інші установи: Ін-т електродинаміки НАН України
Кількість сторінок: 120
Тираж: 100