{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:08Z","timestamp":1725566168436},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161445"},{"type":"electronic","value":"9783642161452"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16145-2_10","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T07:41:31Z","timestamp":1285054891000},"page":"136-150","source":"Crossref","is-referenced-by-count":21,"title":["A Technique for Automatic Validation of Model Transformations"],"prefix":"10.1007","author":[{"given":"Levi","family":"L\u00facio","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Barroca","sequence":"additional","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"47","volume-title":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007)","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.: Analysis of model transformations via alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN, USA, pp. 47\u201356. Springer, Heidelberg (October 2007)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/ICST.2010.42","volume-title":"ICST 2010: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation","author":"M. Asztalos","year":"2010","unstructured":"Asztalos, M., Lengyel, L., Levendovszky, T.: Towards automated, formal verification of model transformations. In: ICST 2010: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, pp. 15\u201324. IEEE Computer Society, Los Alamitos (2010)"},{"key":"10_CR3","unstructured":"Barroca, B., Lucio, L., Amaral, V., Felix, R., Sousa, V.: A visual language for model transformations. Technical report, UNL-DI-2-2010, University Nova de Lisboa, Portugal (2010), \n                    \n                      http:\/\/solar.di.fct.unl.pt\/twiki\/pub\/BATICCCS\/ModelTransformationPapers\/vltechrep.pdf"},{"issue":"8","key":"10_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-87875-9_24","volume-title":"Model Driven Engineering Languages and Systems","author":"J.-R. Falleri","year":"2008","unstructured":"Falleri, J.-R., Huchard, M., Lafourcade, M., Nebut, C.: Metamodel matching for automatic model transformation generation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 326\u2013340. Springer, Heidelberg (2008)"},{"key":"10_CR6","unstructured":"SOLAR Group. Detailed proofs for the paper: a technique for automatic validation of model transformations, \n                    \n                      http:\/\/solar.di.fct.unl.pt\/twiki\/pub\/BATICCCS\/ModelTransformationPapers\/detailed_proofs.pdf"},{"key":"10_CR7","unstructured":"SOLAR Group. Transformation model checker, \n                    \n                      http:\/\/solar.di.fct.unl.pt\/twiki\/pub\/BATICCCS\/ReleaseFiles\/transmc.zip"},{"key":"10_CR8","unstructured":"SOLAR Group. Transforming uml to java using dsltrans, \n                    \n                      http:\/\/solar.di.fct.unl.pt\/twiki\/pub\/BATICCCS\/ModelTransformationPapers\/UML2Java.zip"},{"key":"10_CR9","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":"2005","unstructured":"Jouault, F., Kurtev, I.: Transforming models with atl. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2005)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Karsai, G.: Verifying model transformations by structural correspondence. ECEASST, 10 (2008)","DOI":"10.1016\/j.entcs.2008.04.041"},{"key":"10_CR11","unstructured":"Object\u00a0Management Group. Query\/view\/specification (December 2005), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/05-11-01.pdf"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16145-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:01:51Z","timestamp":1558292511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16145-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161445","9783642161452"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16145-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}