-
Extending Enterprise Architecture Modeling Languages for Domain Specificity a...
International audience -
A Model-Based Approach for the Development of High-Performance Scientific Com...
The development and maintenance of high-performance scientific computing software is a complex task. This complexity results from the fact that software and hardware... -
A transformation-driven approach to generate a DSML verification framework
International audience -
Formal Verification Integration Approach for DSML
International audience
