Надёжное программирование: от кода к технологии
Habr ·
Хабы: Программирование, Разработка, Управление разработкой Теги: надёжность, архитектура, спецификация, программирование, управление разработкой Это первый из трёх постов серии «Надёжное программирование: от кода к технологии». В нём — главный тезис и три столпа. Во втором разберём оракульное смещение и эмпирику DORA, Veracode и FormAI-v2. В третьем — конечного аудитора, шкалу L0–L4 и практические рекомендации. Читать далее
Хабы: Программирование, Разработка, Управление разработкой Теги: надёжность, архитектура, спецификация, программирование, управление разработкой Это первый из трёх постов серии «Надёжное программирование: от кода к технологии». В нём — главный тезис и три столпа. Во втором разберём оракульное смещение и эмпирику DORA, Veracode и FormAI-v2. В третьем — конечного аудитора, шкалу L0–L4 и практические рекомендации. Читать далее