Category:ソフトウェア工学
ハッカソン
HackathonWEB
Web (programming system)AI駆動開発
グローバル変数
Global variableホーア論理
Hoare logicMapReduce
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 theoremZ言語
Z notationコードの再利用
Code reuseエラー忘却型コンピューティング
Failure-oblivious computingCOSMIC—FFP
Padrino
Padrino (web framework)シェープ解析
Shape analysis (program analysis)ランタイムエラー検出
Runtime error detectionモデル変換言語
Model transformation languageメッセージ転送
QVT
QVT