Por que podemos provar matematicamente que um programa é 100% livre de bugs sem executá-lo nem uma única vez? A ciência da verificação formal
Tags
10 páginas
Software-Engineering
Luzes e Sombras do Desenvolvimento Low-Code e No-Code
Domain-Driven Design (DDD) e Linguagem Ubíqua
Barbara Liskov: A Cientista da Computação que Construiu os Tipos de Dados Abstratos e Sistemas Distribuídos
A Arquitetura Interna do Git: Entendendo o Controle de Versão Distribuído a partir de commits, trees e blobs
[Os Bastidores do Manifesto Ágil] A Trajetória Revolucionária que Lançou as Bases do Desenvolvimento Moderno de Software
![[Os Bastidores do Manifesto Ágil] A Trajetória Revolucionária que Lançou as Bases do Desenvolvimento Moderno de Software](/p/philosophy-agile-manifesto/eyecatch_hu10621969115827590376.jpg)
A Revolução do Código Aberto e "A Catedral e o Bazar": Uma Mudança de Paradigma que Alterou a História do Desenvolvimento de Software
Análise Profunda da Lei de Brooks: Por Que Adicionar Pessoal a um Projeto Atrasado Apenas o Atrasa Mais
Filosofia Unix (A Essência do Design Modular): A Arte do Software Tecida pela Responsabilidade Única e Pipes
O código que levou a humanidade à Lua: Margaret Hamilton e a engenharia de software da Apollo 11
