В некоторых языках, есть правила / лучшие практики / и т. д. которые способствуют безопасности программного обеспечения, гарантируют ожидаемое поведение во время выполнения и т. д. Два, которые приходят на ум, - это MISRA для C / C ++ и профиль Ravenscar
вопрос задан: 18 May 2011 20:26