miso_uam

model driven engineering modelling tools meta-modelling model transformation domain specific languages modelling languages mde software product lines software engineering multi-level modelling eclipse software reuse graph transformation atl meta-model model-driven engineering metadepth dsls software testing ocl flexible modelling graphical modelling environment model domain specific language model-based development model finder ios uml specification-based testing ai assistants automated software development programming code generation product lines language engineering visual languages future of computing domain-specific languages software development mind-maps low-code platforms low-code software development software mixed reality metamorphic testing simulation contracts modelling and simulation testing doman-specific languages software tools large language models typing mongodb services ide heroku cloud object-oriented programming atom3 model checking rewriting logic maude transformation testing mutation testing informatica metodos formales master quick fix modelling process feature models design eol epsilon iphone apps mobile domain-specific language cloud computing sotware analysis formal methods mutation emf empirical software engineering augmented reality mobile devices mda automated testing