M. E. Lesk;E. Schmidt
-;-
MDE basics with a DSL focus
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering