Similar to イベント駆動型プログラミング
プログラム導出
Program derivation
プロセスモデル
分散開発
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