{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T15:25:06Z","timestamp":1767626706057,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210083","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"24-33","source":"Crossref","is-referenced-by-count":16,"title":["From use cases to system implementation: statechart based co-design"],"prefix":"10.1109","author":[{"given":"L.","family":"Gomes","sequence":"first","affiliation":[]},{"given":"A.","family":"Costa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Low-cost embedded systems design using Statecharts","author":"gomes","year":"2001","journal-title":"2001 5th WSES\/IEEE World Multiconference on Circuits Systems Communications & Computers CSCC2001"},{"article-title":"Utilização de Statecharts em Controladores Programáveis - da especificação a implementação (Statecharts usage for programmable controllers — from specification to implementation) (in Portuguese)","year":"1998","author":"soares","key":"ref11"},{"key":"ref12","article-title":"Doing Hard Time — Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns","author":"douglass","year":"1999","journal-title":"Object Technology Series"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1109\/ICSE.2000.870415","article-title":"Integrating UML Diagrams for Production Control Systems","author":"k\u00f6hler","year":"0","journal-title":"Proceedings of ICSE2000 — The 22nd International Conference on Software Engineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207715"},{"article-title":"Picoblaze","year":"0","author":"chapman","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"journal-title":"liogix","article-title":"The Rhapsody case tool reference manual","year":"0","key":"ref6"},{"key":"ref5","article-title":"Code Generation from UML Behavioral Diagrams","author":"zundorf","year":"2002","journal-title":"Tutorial F Fifth International Conference on the Unified Modeling Language"},{"article-title":"An object-oriented language system for implementing concurrent, hierarchical, finite state machines","year":"1993","author":"lucas","key":"ref8"},{"key":"ref7","article-title":"Real-time UML — developing efficient objects for embedded systems","author":"douglass","year":"1998","journal-title":"Object Technology Series"},{"key":"ref2","article-title":"The Unified Modeling Language User Guide","author":"booch","year":"1999","journal-title":"Object Technology Series"},{"article-title":"Modeling Reactive Systems with Statecharts — The STATEMATE Approach","year":"1998","author":"harel","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A Comparison of Statechart Variants","volume":"863","author":"von der beeck","year":"1994","journal-title":"Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault Tolerant Systems"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210083.pdf?arnumber=1210083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:20Z","timestamp":1497568700000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210083","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}