مقالات انگلیسی

Bidirectional model transformation approaches – a comparative study

Bidirectional model transformation approaches – a comparative study

By MDSERG Admin | مقالات انگلیسی
Towards a formal model of patterns and pattern languages

Towards a formal model of patterns and pattern languages

By MDSERG Admin | مقالات انگلیسی
On the evaluation of automatic program repair techniques and tools

On the evaluation of automatic program repair techniques and tools

By MDSERG Admin | مقالات انگلیسی
Towards a tracing framework for model-driven software systems

Towards a tracing framework for model-driven software systems

By MDSERG Admin | مقالات انگلیسی
Towards automatic generation of formal specifications for UML consistency verification

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | مقالات انگلیسی
From trace-based inter-model validation to bidirectional model synchronization with reconciliation

From trace-based inter-model validation to bidirectional model synchronization with reconciliation

By MDSERG Admin | مقالات انگلیسی
Programming language criteria for model transformation evaluation

Programming language criteria for model transformation evaluation

By MDSERG Admin | مقالات انگلیسی
A modeling language to model mitigation in emergency response environments

A modeling language to model mitigation in emergency response environments

By MDSERG Admin | مقالات انگلیسی
Pattern language verification in model driven design

Pattern language verification in model driven design

By MDSERG Admin | مقالات انگلیسی
A new model-based test technique using formal specification of software architectures

A new model-based test technique using formal specification of software architectures

By MDSERG Admin | مقالات انگلیسی