Category:ソフトウェア工学
ソフトウェア工学
Software engineering
評価戦略
Evaluation strategy
トップダウン設計とボトムアップ設計
Bottom-up and top-down design
構造化プログラミング
Structured programming
ジャクソンの構造化プログラミング
Jackson structured programming
Z言語
Z notation
MapReduce
MapReduce
グローバル変数
Global variable
アナリシスパターン
Software analysis pattern
メタモデル
Metamodeling
イベント駆動型プログラミング
Event-driven programming
ソフトウェア考古学
Software archaeology
構造化定理
Structured program theorem
静的コード解析
Static program analysis
構造化された並行性
Structured concurrency
プログラム導出
Program derivationサイトリライアビリティエンジニアリング
Site reliability engineering
仕様及び記述言語
Specification and Description Language
ソフトウェア情報学部
ホーア論理
Hoare logic
コードの再利用
Code reuse
エラー忘却型コンピューティング
Failure-oblivious computing
ソフトウェア開発哲学の一覧
List of software development philosophies
COSMIC—FFP
SSADM
Structured systems analysis and design method
シェープ解析
Shape analysis (program analysis)
ランタイムエラー検出
Runtime error detection
モデル変換言語
Model transformation language