«

»

Correct-by-construction model driven engineering composition operators

by Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale
Reference:
Correct-by-construction model driven engineering composition operators (Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale), In Formal Aspects of Computing, Springer Verlag, volume 28, 2016.
Bibtex Entry:
@article{kezadri:hal-01319576,
  TITLE = {{Correct-by-construction model driven engineering composition operators}},
  AUTHOR = {Kezadri, Mounira and Pantel, Marc and Thirioux, Xavier and Combemale, Benoit},
  URL = {https://hal.inria.fr/hal-01319576},
  JOURNAL = {{Formal Aspects of Computing}},
  PUBLISHER = {{Springer Verlag}},
  VOLUME = {28},
  NUMBER = {3},
  YEAR = {2016},
  MONTH = Jan,
  DOI = {10.1007/s00165-016-0354-6},
  KEYWORDS = {Formal verification ;  Composition ;  Proof assistant ;  MDE ;  MOF},
  HAL_ID = {hal-01319576},
  HAL_VERSION = {v1},
}