Изучите популярные цитаты и высказывания американского ученого Нэнси Левесон.
Последнее обновление: 19 ноября 2024 г.
Нэнси Дж. Левесон — американский специалист по безопасности систем и программного обеспечения, профессор аэронавтики и астронавтики Массачусетского технологического института, США.
Высоконадежные компоненты не обязательно безопасны. .
Несчастные случаи, связанные с программным обеспечением, обычно вызваны ошибочными требованиями.
Безопасность — это эмерджентное свойство систем, а не свойство компонентов.
То, что [программное обеспечение] не должно делать, не противоречит тому, что оно должно делать. .
Инженеры по надежности часто предполагают, что надежность и безопасность являются синонимами, но это предположение верно только в особых случаях.
Полнота требований: требований достаточно, чтобы отличить желаемое поведение программного обеспечения от любой другой нежелательной программы, которая может быть разработана. .