{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T05:27:23Z","timestamp":1745472443060},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/eit.2017.8053336","type":"proceedings-article","created":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T16:24:45Z","timestamp":1506961485000},"page":"091-094","source":"Crossref","is-referenced-by-count":5,"title":["Use of model-based design to teach embedded systems programming"],"prefix":"10.1109","author":[{"given":"Nannan","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han-way","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Using a Visual Programming Language to Bridge the Cognitive Gap between a Novice's Mental Model and Program Code","year":"2011","author":"smith","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2013.6685157"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2015.7344051"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2015.7344050"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2015.7344259"},{"journal-title":"A review of research on project-based learning","year":"2000","author":"thomas","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref18","article-title":"Experiences with the Gene-Auto Code Generator in the Aerospace Industry","author":"rugina","year":"2010","journal-title":"Proceedings of Intl Conf on Embedded Real-Time Software and Systems ERTS 2"},{"journal-title":"EU MOGENTES project (Model-based Generation of Tests for Dependable Embedded Systems)","year":"0","key":"ref4"},{"journal-title":"EU CESAR project (Cost-Efficient Methods and Processors for Safety Relevant Embedded Systems)","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2015.7344275"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2012.6462389"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref8"},{"key":"ref7","article-title":"Incorporating On-going Verification & Validation Research to a Reliable Real-Time Embedded Systems Course","author":"he","year":"2013","journal-title":"ASEE North Midwest Section Conference Proceedings"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2014.7044086"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2010.5673623"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2010.5673143"}],"event":{"name":"2017 IEEE International Conference on Electro Information Technology (EIT)","start":{"date-parts":[[2017,5,14]]},"location":"Lincoln, NE, USA","end":{"date-parts":[[2017,5,17]]}},"container-title":["2017 IEEE International Conference on Electro Information Technology (EIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8039355\/8053318\/08053336.pdf?arnumber=8053336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T01:15:13Z","timestamp":1570151713000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8053336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/eit.2017.8053336","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}