Similar to 形式的検証
メモリ安全性
Memory safetyモデリング言語
Modeling languageモデル駆動型アーキテクチャ
Model-driven architectureモデル駆動工学
Model-driven engineeringモデル変換
Model transformationモデル変換言語
Model transformation languageランタイムエラー検出
Runtime error detectionリファクタリング (プログラミング)
Code refactoringRuby on Rails
Ruby on Rails