{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:54:14Z","timestamp":1725519254055},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540890195"},{"type":"electronic","value":"9783540890201"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89020-1_22","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T13:44:44Z","timestamp":1223991884000},"page":"313-328","source":"Crossref","is-referenced-by-count":12,"title":["Checking and Enforcement of Modeling Guidelines with Graph Transformations"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Amelunxen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elodie","family":"Legros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"St\u00fcrmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Farkas, T., R\u00f6big, H.: Automatisierte, werkzeug\u00fcbergreifende Richtlinienpr\u00fcfung zur Unterst\u00fctzung des Automotive-Entwicklungsprozesses. In: Rumpe, B., Conrad, M., Giese, H., Sch\u00e4tz, B. (eds.) Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Informatik Bericht TU Braunschweig, vol.\u00a02007-01. Institut f\u00fcr Software Systems Engineering, Technische Universit\u00e4t Braunschweig, Germany (2007) (in German)"},{"key":"22_CR2","unstructured":"Fujaba Homepage, \n                    \n                      http:\/\/www.fujaba.de"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11841883_23","volume-title":"Graph Transformations","author":"J. Jakob","year":"2006","unstructured":"Jakob, J., K\u00f6nigs, A., Sch\u00fcrr, A.: Non-materialized Model View Specification with Triple Graph Grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"22_CR4","unstructured":"MAAB Homepage, \n                    \n                      http:\/\/www.mathworks.com\/industries\/auto\/maab.html"},{"key":"22_CR5","unstructured":"MATLAB Homepage, \n                    \n                      http:\/\/www.mathworks.com\/products\/"},{"key":"22_CR6","unstructured":"Mint Homepage, \n                    \n                      http:\/\/www.ricardo.com\/engineeringservices\/controlelectronics.aspx?page=mint"},{"key":"22_CR7","unstructured":"MOFLON Homepage, \n                    \n                      http:\/\/www.moflon.org"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"22_CR9","first-page":"275","volume-title":"VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005)","author":"S. Neema","year":"2005","unstructured":"Neema, S., Kalmar, Z., Shi, F., Vizhanyo, A., Karsai, G.: A visually-specified code generator for simulink\/stateflow. In: VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Washington, DC, USA, pp. 275\u2013277. IEEE Computer Society, Los Alamitos (2005)"},{"key":"22_CR10","volume-title":"Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006)","author":"I. St\u00fcrmer","year":"2006","unstructured":"St\u00fcrmer, I., Conrad, M., Fey, I., D\u00f6rr, H.: Experiences with Model and Autocode Reviews in Model-based Software Development. In: Salzmann, C., Rappl, M., Pretschner, A., Stauner, T. (eds.) Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006). ACM Press, New York (2006)"},{"key":"22_CR11","unstructured":"St\u00fcrmer, I., D\u00f6rr, H., Giese, H., Kelter, U., Sch\u00fcrr, A., Z\u00fcndorf, A.: Das MATE Projekt-visuelle Spezifikation von MATLAB Simulink\/Stateflow Analysen und Transformationen. In: Rumpe, B., Conrad, M., Giese, H., Sch\u00e4tz, B. (eds.) Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, number, 2007-01 in Informatik Bericht TU Braunschweig, Institut f\u00fcr Software Systems Engineering, Technische Universit\u00e4t Braunschweig, Germany (2007) (in German)"},{"key":"22_CR12","unstructured":"Sohn, M.: Korrektheitsbegriffe f\u00fcr modellbasierte Codegeneratoren. Master\u2019s thesis, Martin Luther University of Halle-Wittenberg (June 2006)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89020-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T19:44:29Z","timestamp":1551642269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}