Без заголовка

Тема "доказательств" и assurance case в RE трояка: -- как устроено техническое (гос)регулирование, опирающееся на концепцию assurance case -- какой формат артефакта assurance case и его жизненный цикл -- двойное использование assurance case: для "доказательства" приемлемости рисков при переходе от одного этапа жизненного цикла (apriori) и в качестве разборки после реализации риска (aposteriori). Готов выслать черновичок будущего стандарт ISO 15026, чтобы мы говорили об одном и том же (для этого нужно прислать мне письмо, а я реплаем приаттачу текст).