IEEE P15026.2/FDIS, August 2010 Проект стандарта IEEE для разработки систем и программного обеспечения. Обеспечение систем и программного обеспечения. Часть 2. Случай подтверждения
Institute of Electrical and Electronics Engineers (IEEE)
сфера применения
Настоящий международный стандарт устанавливает минимальные требования к структуре и содержанию страхового случая. Гарантийный случай включает в себя утверждение верхнего уровня (или набор утверждений) в отношении свойства системы или продукта, систематическую аргументацию относительно этого утверждения, а также доказательства и явные предположения, лежащие в основе этой аргументации. Рассуждая на нескольких уровнях второстепенных претензий, это...