{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:30:57Z","timestamp":1725568257649},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416911","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:59:03Z","timestamp":1199480343000},"page":"1149-1156","source":"Crossref","is-referenced-by-count":1,"title":["A development process for mechatronic products: Integrating software engineering and product engineering"],"prefix":"10.1109","author":[{"given":"Ana Patricia","family":"Magalhaes","sequence":"first","affiliation":[]},{"given":"Aline","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Leila","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Herman","family":"Lepikson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"UML: guia do usu&#x00E1;rio","author":"booch","year":"2005","journal-title":"Rio de Janeiro"},{"key":"ref11","article-title":"The Rational Unified Process: an introduction","author":"kruchten","year":"2000","journal-title":"Massachusetts"},{"article-title":"Gest&#x00E3;o de desenvolvimento de produtos: uma referencia para melhoria da processo","year":"2006","author":"rosenfeld","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1176038"},{"article-title":"Extreme Programming Explained","year":"2005","author":"beck","key":"ref14"},{"article-title":"The Open Process Specification","year":"1997","author":"graham","key":"ref15"},{"key":"ref16","article-title":"IPProcess: Um processo para desenvolvimento de Ip-Cores com prototipa&#x00E7;&#x00E3;o FPGA","author":"lima","year":"2005","journal-title":"Disserta&#x00E7;&#x00E3;o de Mestrado"},{"article-title":"The Unified Software Development Process","year":"1999","author":"booch","key":"ref17"},{"article-title":"Software Engineering: A Practitioner's Approach","year":"2004","author":"pressman","key":"ref18"},{"key":"ref19","first-page":"155","article-title":"Hardware software partitioning using genetic algorithm","author":"saha","year":"1996","journal-title":"IEEE 10 th International conference on VLSI Design"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2002.1038713"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248708"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2002.1159698"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROMOCO.2002.1177114"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248674"},{"key":"ref2","article-title":"Princ&#x00ED;pios de mecatr&#x00F4;nica","author":"ros\u00e1rio","year":"2005","journal-title":"S&#x00E3;o Paulo"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2001.936467"},{"article-title":"Modelagem e projetos baseados em objetos","year":"1994","author":"rumbaugh","key":"ref9"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref20"},{"key":"ref22","article-title":"SISCOI &#x2014; Software de Apoio &#x2018;a Defini&#x00E7;&#x00E3;o das Especifica&#x00E7;&#x00F5;es de Projeto de Componentes Injetados","author":"ferreira","year":"2001","journal-title":"3 CBGDP Congresso Brasileiro de Gest&#x00E3;o de Desenvolvimento de Produtos"},{"journal-title":"IBM","article-title":"Rational Rose","year":"0","key":"ref21"},{"key":"ref24","article-title":"UPPAAL &#x2014; A tool suite for symbolic and compositional verification of real time Systems","author":"bengtsson","year":"1995","journal-title":"Proceedings of 1st Workshop on Tools and Algotithms for the Construction and Analysis of Systems"},{"journal-title":"MATLAB\/SIMULINK program tutorial","year":"0","key":"ref23"},{"key":"ref26","article-title":"A CMMI maturity level 2 assessment of RUP","author":"grundmann","year":"0","journal-title":"Developer works USA"},{"article-title":"PDA robotics: using your personal digital assistant to control your robot","year":"2003","author":"williams","key":"ref25"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies &amp; Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416911.pdf?arnumber=4416911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T19:54:23Z","timestamp":1489694063000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416911\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416911","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}