Category:ソフトウェア工学
統一モデリング言語
Unified Modeling Language
ハッカソン
Hackathon
オブジェクト指向プログラミング
Object-oriented programming
フローチャート
Flowchart
構造化定理
Structured program theorem
CI/CD
CI/CD
WEB
Web (programming system)
イベント駆動型プログラミング
Event-driven programming
データフロー図
Data-flow diagram
オブジェクト指向分析設計
Object-oriented analysis and design
見える化
Visual controlサイトリライアビリティエンジニアリング
Site reliability engineering人月の神話
The Mythical Man-Month
静的コード解析
Static program analysis
形式的検証
Formal verification
ホーア論理
Hoare logic
メモリ安全性
Memory safety契約プログラミング
Design by contractCOCOMO
COCOMO
ファンクションポイント法
Function point
ソフトウェアドキュメンテーション
Software documentationプロセスモデル
データモデリング
Data modeling
Z言語
Z notation
構造化分析設計技法
Structured analysis and design technique
動的プログラム解析
Dynamic program analysis
ソフトウェアコンポーネント
Software component
プログラム仕様
Functional specification
