Integrating a formal development for DSLs into meta-modeling
No Thumbnail Available
Date
2012
Authors
Djeddai, Selma
Strecker, Martin
Mezghiche, Mohamed
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Formal Methods, Model Driven Engineering, Model Transformation, Verification, Bidirectional transformation, Domain specific languages, Eclipse environment, Formal development, Functional datas, Generic transformations, Graphical interface, Meta model, Metamodeling, Proof assistant, Software systems, Translation method