Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien. A Model-Based Framework for Statically and Dynamically Checking Component Interactions. In Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter, editors, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Volume 5301 of Lecture Notes in Computer Science, pages 371-385, Springer, 2008. [doi]
@inproceedings{WaignierSMD08,
title = {A Model-Based Framework for Statically and Dynamically Checking Component Interactions},
author = {Guillaume Waignier and Prawee Sriplakich and Anne-Françoise Le Meur and Laurence Duchien},
year = {2008},
doi = {10.1007/978-3-540-87875-9_27},
url = {http://dx.doi.org/10.1007/978-3-540-87875-9_27},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/WaignierSMD08},
cites = {0},
citedby = {0},
pages = {371-385},
booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
volume = {5301},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-87874-2},
}