Similar to ダイナミックバインディング
プログラム仕様
Functional specificationプログラム導出
Program derivationプロセスモデル
文芸的プログラミング
Literate programming分散開発
Distributed development冪等
Idempotenceホーア論理
Hoare logicボトムアップ設計
見える化
Visual controlミルズの構造化プログラミング
メタモデル
Metamodelingメッセージ転送
メモリ安全性
Memory safetyモデリング言語
Modeling languageモデル駆動型アーキテクチャ
Model-driven architectureモデル駆動工学
Model-driven engineeringモデル変換
Model transformationモデル変換言語
Model transformation language要求工学ツールのリスト
Requirements engineering toolsランタイムエラー検出
Runtime error detectionリファクタリング (プログラミング)
Code refactoringRuby on Rails
Ruby on Rails