Category:ソフトウェア工学
評価戦略
Evaluation strategy
構造化定理
Structured program theorem
MapReduce
MapReduce
グローバル変数
Global variable
メタモデル
Metamodeling
トップダウン設計とボトムアップ設計
Bottom-up and top-down design
ジャクソンの構造化プログラミング
Jackson structured programming
アナリシスパターン
Software analysis patternソフトウェア工学
Software engineering
ソフトウェア情報学部
プログラム導出
Program derivation
ソフトウェアドキュメンテーション
Software documentation
構造化された並行性
Structured concurrency
AI駆動開発
仕様及び記述言語
Specification and Description Language
Z言語
Z notation
静的コード解析
Static program analysis
COSMIC—FFP
エラー忘却型コンピューティング
Failure-oblivious computing
シェープ解析
Shape analysis (program analysis)
ランタイムエラー検出
Runtime error detection
モデル変換言語
Model transformation language
メッセージ転送
QVT
QVT
ウェブ指向アーキテクチャ
Web-oriented architecture
N重インスペクション
プログラミングの統一理論
Unifying Theories of Programmingボトムアップ設計