{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:27Z","timestamp":1725456027988},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227038","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"1555-1558","source":"Crossref","is-referenced-by-count":1,"title":["Model translations among big-step modeling languages"],"prefix":"10.1109","author":[{"given":"Fathiyeh","family":"Faghih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Transforming models with ATL","author":"jouault","year":"0","journal-title":"Satellite Events at the MoDELS 2005 Conference 2006"},{"journal-title":"A Parametric Structural Operational Semantics for Stateflow UML Statecharts and Rhapsody","year":"0","author":"whalen","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001427"},{"journal-title":"Prescriptive Semantics for Big-step Modelling Languages","year":"2011","author":"esmaeilsabzali","key":"15"},{"journal-title":"Mapping Big-step Modeling Languages to SMV","year":"0","author":"faghih","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00016-9"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"11","first-page":"320","article-title":"Mapping template semantics to SMV","author":"lu","year":"2004","journal-title":"ASE"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"A Multi-Paradigm Foundation for Model Transformation Language Engineering","year":"2011","author":"syriani","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151648"},{"key":"10","first-page":"866","article-title":"Template semantics for model-based notations","author":"niu","year":"2003","journal-title":"IEEE TSE"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337219"},{"key":"6","first-page":"187","article-title":"An overview of SAL","author":"bensalem","year":"0","journal-title":"NASA Langley Formal Methods Workshop 2000"},{"key":"5","article-title":"Translating models of automotive features in Matlabs Stateflow to SMV to detect feature interactions","author":"juarez-dominguez","year":"0","journal-title":"2008 ISSCC"},{"key":"4","first-page":"24","article-title":"State-based model checking of eventdriven system requirements","author":"atlee","year":"1993","journal-title":"IEEE TSE"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226314"},{"key":"8","first-page":"839","article-title":"Symbolic functional evaluation","author":"day","year":"1999","journal-title":"Theorem Proving in Higher Order Logics"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227038.pdf?arnumber=6227038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:54:32Z","timestamp":1490126072000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227038\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227038","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}