Category:ソフトウェア工学
ハッカソン
Hackathon
WEB
Web (programming system)
AI駆動開発
グローバル変数
Global variable
ホーア論理
Hoare logic
MapReduce
MapReduce
段階的詳細化法
評価戦略
Evaluation strategy
メタモデル
Metamodeling
自律エージェント
Autonomous agent
ソフトウェア考古学
Software archaeology
ファンクションポイント法
Function point
プログラム導出
Program derivation
仕様及び記述言語
Specification and Description Language
構造化された並行性
Structured concurrency
ソフトウェア情報学部
ソフトウェア開発哲学の一覧
List of software development philosophies
構造化定理
Structured program theorem
Z言語
Z notation
コードの再利用
Code reuse
エラー忘却型コンピューティング
Failure-oblivious computing
COSMIC—FFP
Padrino
Padrino (web framework)
シェープ解析
Shape analysis (program analysis)
ランタイムエラー検出
Runtime error detection
モデル変換言語
Model transformation language
メッセージ転送
QVT
QVT