프로그램을 단 한 번도 실행하지 않고 어떻게 '버그가 절대 없음'을 증명하는가: 형식 검증과 모델 체킹의 과학
Tags
10 페이지
Software-Engineering
로우코드/노코드 개발의 빛과 그림자
도메인 주도 설계(DDD)와 유비쿼터스 언어
바바라 리스코프: 추상 데이터 타입과 분산 시스템을 구축한 컴퓨터 과학자
Git의 내부 구조: commit, tree, blob으로 이해하는 분산 버전 관리
【애자일 선언의 이면】현대 소프트웨어 개발의 기초를 다진 혁명의 궤적
Unix 철학 (모듈식 설계의 진수): 단일 책임과 파이프가 엮어내는 소프트웨어의 예술
브룩스의 법칙 철저 해부: 왜 지연된 프로젝트에 인력을 추가하면 불에 기름을 붓는 격이 될까
오픈소스 혁명과 "성당과 시장": 소프트웨어 개발의 역사를 바꾼 패러다임 전환
인류를 달로 이끈 코드: 마거릿 해밀턴과 아폴로 11호의 소프트웨어 공학
