{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:27:49Z","timestamp":1729661269902,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/mompes.2009.5069137","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T12:24:14Z","timestamp":1244636654000},"page":"53-60","source":"Crossref","is-referenced-by-count":0,"title":["MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation"],"prefix":"10.1109","author":[{"given":"Francisco Assis M.","family":"do Nascimento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcio Ferreira S.","family":"Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio Rech","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"UML - unified modeling language","year":"0","key":"19"},{"key":"22","article-title":"performance analysis of sequence diagrams for soc design","author":"viehl","year":"2005","journal-title":"UMLSoC2005 - Workshop on UML for SoC"},{"journal-title":"Unified modeling language (UML) infrastructure v2 1 2","year":"0","key":"17"},{"journal-title":"Unified modeling language (UML) superstructure v2 1 2","year":"0","key":"18"},{"key":"15","first-page":"1202","volume":"b","author":"milner","year":"1990","journal-title":"Operational and Algebraic Semantics of Concurrent Processes"},{"year":"0","key":"16"},{"article-title":"overview of the ptolemy project - technical memorandum ucb\/erl m03\/25","year":"2003","author":"lee","key":"13"},{"journal-title":"Executable UML A Foundation for Model Driven Architecture","year":"2002","author":"mellor","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10270-006-0043-7","article-title":"supporting uml-based development of embedded systems by formal techniques","volume":"7","author":"hooman","year":"2008","journal-title":"Software and System Modeling (SoSym)"},{"key":"12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfers"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"year":"0","key":"20"},{"journal-title":"The Designer's Guide to VHDL","year":"1995","author":"ashenden","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"Eclipse EMF - eclipse modeling framework","year":"0","key":"7"},{"year":"0","key":"6"},{"key":"5","first-page":"143","article-title":"mdabased approach for embedded software generation from a uml\/mof repository","author":"do nascimento","year":"2006","journal-title":"Brazilian Symposium on Integrated Circuits (SBCCI)"},{"key":"4","article-title":"metamodels and mda transforma-tions for embedded systems","author":"bonde?","year":"2004","journal-title":"Forum on Design Languages (FDL)"},{"key":"9","first-page":"160","article-title":"control flow analysis of uml 2.0 sequence diagrams","author":"garousi","year":"2005","journal-title":"ECMDA-FA05"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"}],"event":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES)","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,16]]}},"container-title":["2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061472\/5069117\/05069137.pdf?arnumber=5069137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:53:40Z","timestamp":1497804820000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/mompes.2009.5069137","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}