Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer

First Page		Document Content
Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling		Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Download Document from Source Website File Size: 980,87 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