Login / Signup

Correct-by-construction model driven engineering composition operators.

Mounira Kezadri HamiazMarc PantelXavier ThiriouxBenoît Combemale
Published in: Formal Aspects Comput. (2016)
Keyphrases
  • model driven engineering
  • model driven
  • model driven architecture
  • data sets
  • software engineering
  • machine learning
  • access control
  • business processes