Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B.

Akram Idani Yves Ledru Mohamed-Amine Labiadh

Published in: INFORSID (2009)

Keyphrases

software engineering
software development
formal methods
real time
machine learning
search engine
web services
software systems
metamodel
modeling language
tool support