Таксономические модели профилирования требований информационно-управляющих систем критического применения

Abstract

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

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