Mengapa Kita Bisa Membuktikan Program 100% Bebas Bug Tanpa Menjalankannya Sekali Pun? Sains Verifikasi Formal dan Model Checking
Tags
10 halaman
Software-Engineering
Cahaya dan Bayangan Pengembangan Low-Code/No-Code
Desain Berbasis Domain (DDD) dan Bahasa Ubiquitous
Barbara Liskov: Ilmuwan Komputer yang Membangun Tipe Data Abstrak dan Sistem Terdistribusi
Arsitektur Internal Git: Memahami Kontrol Versi Terdistribusi melalui Commit, Tree, dan Blob
"Menganalisis Secara Mendalam Hukum Brooks: Mengapa Menambah Personel pada Proyek yang Terlambat Hanya Akan Memperburuk Keadaan"
【Di Balik Agile Manifesto】Jejak Revolusi yang Membangun Fondasi Pengembangan Perangkat Lunak Modern
Filosofi Unix (Esensi Desain Modular): Seni Perangkat Lunak yang Ditenun oleh Tanggung Jawab Tunggal dan Pipa
Kode yang Membawa Umat Manusia ke Bulan: Margaret Hamilton dan Rekayasa Perangkat Lunak Apollo 11
Revolusi Sumber Terbuka dan "Katedral dan Pasar": Pergeseran Paradigma yang Mengubah Sejarah Pengembangan Perangkat Lunak
