푸른영혼의 별 | Tech Blog

---

Posts (총 1679편 · 23 / 168 페이지)

• 2026-10-11

  [SE100 #088] 정형 기법 — TLA+ 와 모델 체킹

  소프트웨어 공학 100 주제 시리즈의 88번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #formal-methods #tla-plus #model-checking
• 2026-10-11

  [SE100 #087] 시큐어 코딩과 OWASP Top 10

  소프트웨어 공학 100 주제 시리즈의 87번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #owasp #asvs #secure-coding #cwe
• 2026-10-11

  [SE100 #086] 위협 모델링과 STRIDE

  소프트웨어 공학 100 주제 시리즈의 86번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #threat-modeling #stride #data-flow-diagram #security-design
• 2026-10-11

  [SE100 #085] 관측 가능성 — 로그·메트릭·트레이스

  소프트웨어 공학 100 주제 시리즈의 85번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #observability #opentelemetry #cardinality #telemetry
• 2026-10-11

  [SE100 #084] SLI·SLO·에러 버짓

  소프트웨어 공학 100 주제 시리즈의 84번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #sli #slo #error-budget #burn-rate
• 2026-10-11

  [SE100 #083] 신뢰성 공학 — MTBF·MTTR·가용성

  소프트웨어 공학 100 주제 시리즈의 83번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #reliability #mtbf #mttr #availability
• 2026-10-11

  [SE100 #082] 정형 검토 — Fagan 인스펙션

  소프트웨어 공학 100 주제 시리즈의 82번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #fagan-inspection #software-review #ieee-1028
• 2026-10-11

  [SE100 #081] 품질 보증(QA)과 품질 관리(QC)

  소프트웨어 공학 100 주제 시리즈의 81번째 글이다. (카테고리: 품질·신뢰성·보안)

  #se100 #quality-reliability #quality-assurance #quality-control #iso-9000 #iso-25010
• 2026-10-11

  [SE100 #080] 진척 관리 — 획득가치(EVM)와 번다운

  소프트웨어 공학 100 주제 시리즈의 80번째 글이다. (카테고리: 프로젝트 관리와 추정)

  #se100 #project-management #earned-value #burndown #earned-schedule
• 2026-10-11

  [SE100 #079] 범위·일정·품질의 트레이드오프

  소프트웨어 공학 100 주제 시리즈의 79번째 글이다. (카테고리: 프로젝트 관리와 추정)

  #se100 #project-management #iron-triangle #scope-management #internal-quality