Таксономические модели профилирования требований информационно-управляющих систем критического применения
Короткий опис(реферат)
Рассмотрены таксономические модели профилирования требований информационно-управляющих систем критического применения, позволяющих представить вербальные нефункциональные требования стандартов и спецификаций в виде, необходимом для их последующей формальной обработки, получения профилей требований и последующей оценки их выполнения. Розглянуто таксономічні моделі профілювання вимог інформаційно-керуючих систем критичного застосування, що дозволяють представити вербальні нефункціональні вимоги стандартів та специфікацій у вигляді, необхідному для їхньої подальшої формальної обробки, отримання профілів вимог та подальшої оцінки їх виконання.