Почему можно математически доказать 100% отсутствие багов в программе, ни разу её не запустив? Наука формальной верификации
Tags
10 страниц
Software-Engineering
Свет и тень low-code/no-code разработки
Предметно-ориентированное проектирование (DDD) и единый язык
Барбара Лисков: Ученый в области информатики, создавшая абстрактные типы данных и распределенные системы
Внутренняя архитектура Git: понимание распределенного контроля версий через commit, tree и blob
【За кулисами Agile-манифеста】След революции, заложившей основы современной разработки программного обеспечения
Код, который привел человечество на Луну: Маргарет Гамильтон и программная инженерия Аполлона-11
Подробный разбор закона Брукса: почему добавление людей в отстающий проект лишь подливает масло в огонь
Революция открытого исходного кода и "Собор и Базар": Смена парадигмы, изменившая историю разработки программного обеспечения
Философия Unix (Суть модульного дизайна): Искусство создания программного обеспечения на основе единой ответственности и конвейеров
