Eclipse
Object Constraint Language
ECO
Acceleo
KeY
Domain-specific language
Model-driven architecture
Software
Computing
Unified Modeling Language