ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2

First Page		Document Content
Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language		ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 760,53 KB Share Document on Facebook

	Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille) DocID: 1updg - View Document
	Industrial Use of Domain-Specific Modeling: Panel Summary Juha-Pekka Tolvanen Niels Brouwers DocID: 1t8ms - View Document
	Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie DocID: 1sYKw - View Document
	Migrating a Domain-Specific Modeling Infrastructure to M DA Technology Duncan Doyle1,2 , Hans Geers2 , Bas Graaf2 , and Arie van Deursen2,3 2 DocID: 1sWsW - View Document
	Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages Tom Dinkelaker Martin Monperrus DocID: 1sU2u - View Document