{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:36:16Z","timestamp":1725748576602},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413650"},{"type":"electronic","value":"9783642413667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41366-7_23","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T02:54:18Z","timestamp":1378868058000},"page":"266-277","source":"Crossref","is-referenced-by-count":1,"title":["A Transformation-Driven Approach to Automate Feedback Verification Results"],"prefix":"10.1007","author":[{"given":"Faiez","family":"Zalila","sequence":"first","affiliation":[]},{"given":"Xavier","family":"Cr\u00e9gut","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Merilinna, J., P\u00e4rssinen, J.: Verification and validation in the context of domain-specific modelling. In: Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM 2010, pp. 9:1\u20139:6 (2010)","DOI":"10.1145\/2060329.2060351"},{"issue":"10","key":"23_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful Modeling: What\u2019s the Semantics of \u201cSemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper). In: Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, China (2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"23_CR4","unstructured":"Berthomieu, B., Bodeveix, J.-P., Filali, M., Farail, P., Gaufillet, P., Garavel, H., Lang, F.: FIACRE: an Intermediate Language for Model Verification in the topcased Environment. In: ERTS 2008 (2008)"},{"key":"23_CR5","unstructured":"Software & Systems Process Engineering Metamodel (SPEM) 2.0, Object Management Group (October 2007)"},{"key":"23_CR6","unstructured":"Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The TOPCASED project: A Toolkit in OPen source for Critical Aeronautic SystEms Design. In: Embedded Real Time Software (ERTS 2006), Toulouse, January 25-27 (2006)"},{"key":"23_CR7","unstructured":"Abid, N., Dal Zilio, S.: Real-time Extensions for the Fiacre modeling language (2010), \n                  \n                    http:\/\/automata.rwth--aachen.de\/movep2010\/index.php?page=about"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Galvao, I., Goknil, A.: Survey of traceability approaches in model-driven engineering. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC), p. 313 (October 2007)","DOI":"10.1109\/EDOC.2007.42"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11880240_16","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging models with the epsilon merging language (EML). In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"23_CR11","unstructured":"Jouault, F.: Loosely coupled traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) Workshop on Traceability (2005)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-02674-4_3","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Tisi","year":"2009","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 18\u201333. Springer, Heidelberg (2009)"},{"issue":"14","key":"23_CR13","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 construction of abstract state spaces for Petri nets and time Petri nets. Int. Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"Int. Journal of Production Research"},{"key":"23_CR14","unstructured":"Zalila, F., Cr\u00e9gut, X., Pantel, M.: Verification results feedback for FIACRE intermediate language. In: Conf\u00e9rence en Ing\u00e9nierie du Logiciel, CIEL (June 2012), \n                  \n                    http:\/\/gpl2012.irisa.fr\/?q=node\/31"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-33666-9_31","volume-title":"Model Driven Engineering Languages and Systems","author":"E.A. Aboussoror","year":"2012","unstructured":"Aboussoror, E.A., Ober, I., Ober, I.: Seeing errors: model driven simulation trace visualization. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 480\u2013496. Springer, Heidelberg (2012)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Back-annotation of simulation traces with change-driven model transformations. In: SEFM 2010, pp. 145\u2013155 (2010)","DOI":"10.1109\/SEFM.2010.28"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-21470-7_4","volume-title":"Modelling Foundations and Applications","author":"B. Combemale","year":"2011","unstructured":"Combemale, B., Gonnord, L., Rusu, V.: A generic tool for tracing executions back to a DSML\u2019s operational semantics. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 35\u201351. Springer, Heidelberg (2011)"},{"issue":"4","key":"23_CR18","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/j.infsof.2008.09.005","volume":"51","author":"E. Guerra","year":"2009","unstructured":"Guerra, E., de Lara, J., Malizia, A., D\u00edaz, P.: Supporting user-oriented analysis for multi-view domain-specific visual languages. Information and Software Technology\u00a051(4), 769\u2013784 (2009)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41366-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:26:02Z","timestamp":1558056362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41366-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413650","9783642413667"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41366-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}