«

»

Teaching MDE through the Formal Verification of Process Models

by Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
Reference:
Teaching MDE through the Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila), In , volume 52, 2011. (7th Educators’ Symposium: Software Modeling in Education (EduSymp 2011), workshop at MODELS’11)
Bibtex Entry:
@inproceedings{edusymp11,
	Author = {Benoit Combemale and Xavier Cr'{e}gut and Arnaud Dieumegard and Marc Pantel and Faiez Zalila},
	Journal = {ECEASST},
	Language = {english},
	Month = oct,
	Note = {7th Educators' Symposium: Software Modeling in Education (EduSymp 2011), workshop at MODELS'11},
	Title = {{Teaching MDE through the Formal Verification of Process Models}},
	Url = {http://journal.ub.tu-berlin.de/eceasst/article/view/749},
	Volume = {52},
	Year = {2011},
	Bdsk-Url-1 = {http://journal.ub.tu-berlin.de/eceasst/article/view/749}}