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) - Domain-specific language - Document - PDFSEARCH.IO

First Page	Meta Content
	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) Add to Reading List Open Document File Size: 602,40 KB Share Result on Facebook City Lille / / / IndustryTerm decision tool / / Person Benoît Combemale / Semantics Vlad Rusu / Laure Gonnord / / Position Introduction General / / Technology animation / / URL http / SocialTag Diagrams Petri net Model checking Rusu Model transformation Modeling language Software engineering Science Systems science Unified Modeling Language

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)Add to Reading List