A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior

Nisha Desai, Martin Gogolla. A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior. In Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. pages 519-523, IEEE, 2019. [doi]

Authors

Nisha Desai

This author has not been identified. Look up 'Nisha Desai' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google