Papers in English

Towards a formal model of patterns and pattern languages
0
Jun
28

Towards a formal model of patterns and pattern languages

By MDSERG Admin | Papers in English
On the evaluation of automatic program repair techniques and tools
0
Jun
28

On the evaluation of automatic program repair techniques and tools

By MDSERG Admin | Papers in English
Towards a tracing framework for model-driven software systems
0
Jun
28

Towards a tracing framework for model-driven software systems

By MDSERG Admin | Papers in English
Towards automatic generation of formal specifications for UML consistency verification
0
Jun
28

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | Papers in English
From trace-based inter-model validation to bidirectional model synchronization with reconciliation
0
Jun
28

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

By MDSERG Admin | Papers in English
Programming language criteria for model transformation evaluation
0
Jun
28

Programming language criteria for model transformation evaluation

By MDSERG Admin | Papers in English
A modeling language to model mitigation in emergency response environments
0
Jun
27

A modeling language to model mitigation in emergency response environments

By MDSERG Admin | Papers in English
Pattern language verification in model driven design
0
Jun
27

Pattern language verification in model driven design

By MDSERG Admin | Papers in English
A new model-based test technique using formal specification of software architectures
0
Jun
27

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

By MDSERG Admin | Papers in English
Tool support for pattern selection and use
0
Jun
27

Tool support for pattern selection and use

By MDSERG Admin | Papers in English