A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators

Kezadri Hamiaz, Mounira ; Pantel, Marc ; Combemale, Benoit ; Thirioux, Xavier

Formal Methods and Software Engineering, p.235-250 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível