Alliance of model-driven engineering with a proof-based formal approach.

Akram Idani Yves Ledru Germán Vega

Published in: Innov. Syst. Softw. Eng. (2020)

Keyphrases

model driven engineering
model driven
software engineering
model driven architecture
artificial intelligence
ami systems