Cleanroom Software Engineering: различия между версиями

202 байта убрано ,  11 лет назад
м
Правки ВАК2 (обсуждение) откачены к версии Cheops
м ( Правки ВАК2 (обсуждение) откачены к версии Cheops)
 
== Основные принципы ==
*Разработка программного обеспечения основывается на формальных методах спецификации программ.
*Инкрементальная реализации в рамках статистического контроля спецификаций и функций программ. качества
*Статистическое тестирование и формальная верификация программ относительно спецификаций.
 
{{compu-stub}}