{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:56:20Z","timestamp":1729634180368,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwrsp.2003.1207024","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"9-15","source":"Crossref","is-referenced-by-count":7,"title":["A component-based methodology for embedded system prototyping"],"prefix":"10.1109","author":[{"given":"P.","family":"Tessier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Gerard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Mraidha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-M.","family":"Geib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Webraska Global Navigation Server","year":"0","key":"ref33"},{"journal-title":"OMG formal\/2002–11–14","article-title":"SPEM specification","year":"2002","key":"ref32"},{"key":"ref31","article-title":"The ACCORD\/UML profile","author":"g\u00e9rard","year":"2002","journal-title":"CEA-LIST Gif sur Yvette Internal report"},{"key":"ref30","article-title":"EUDEMES: Component-Based Development Methods for Small-Size Embedded Systems","volume":"n\ufffd52","author":"guelfi","year":"2003","journal-title":"ERCIM News"},{"journal-title":"AIT - WOODDES","year":"0","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1033224"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.1999.779052"},{"key":"ref34","article-title":"Reducing the Time to Market Through Rapid Prototyping","volume":"28","author":"dollas","year":"1995","journal-title":"IEEE Computer"},{"key":"ref10","article-title":"The ESTEREL synchronous programming language: Design, semantics, implementation","author":"berry","year":"1988","journal-title":"INRIA Tech Rep"},{"key":"ref11","first-page":"1321","article-title":"Programming real time application with Signal","author":"guemic","year":"1991","journal-title":"Proceedings of the IEEE 79"},{"journal-title":"OMG","article-title":"UML 1.4 with Action Semantics","year":"2002","key":"ref12"},{"key":"ref13","article-title":"Using UML for Modeling Complex Real-Time Systems","author":"selic","year":"1998","journal-title":"Rational software corporation"},{"key":"ref14","article-title":"Real-time Perspective - Over-View","author":"moore","year":"1998","journal-title":"Version 1 0 ARTISAN Software"},{"article-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns","year":"1999","author":"douglass","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"ref17","article-title":"An Object-Based Executable Model for Simulation of Real-Time Hw\/Sw Systems","author":"pasquier","year":"1999","journal-title":"De-sign Automation and Test in Europe"},{"key":"ref18","article-title":"Executable UML: A Case Study","author":"starr","year":"2001","journal-title":"Paperback"},{"key":"ref19","article-title":"Model Checking of an Executable Subset of UML","author":"xie","year":"2001","journal-title":"presented at ASE2001 Automated Software Engineering"},{"key":"ref28","article-title":"Using the Model Paradigm for Real-Time Systems Develoment: ACCORD\/UML","author":"gerard","year":"2002","journal-title":"OOIS'02-MDSD"},{"article-title":"Temporal Verification of Reactive Systems","year":"1995","author":"pnueli","key":"ref4"},{"key":"ref27","article-title":"Component-Based Software Engineering: Technologies, Quality Assurance Schemes, and Risk Analysis Tools","author":"xia","year":"2000","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"journal-title":"International Organization for Standardization","article-title":"Information processing systems – Open Systems Interconnection –LOTOS","year":"1989","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref29","article-title":"Effi-cient System Modeling of Complex Real-Time Industrial Networks using the ACCORD\/UML Methodology","author":"g\u00e9rard","year":"2000","journal-title":"Architecture and Design of Distributed Embedded Systems Paderborn University"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1994.401984"},{"key":"ref8","article-title":"Evolutive Prototyping of Heteroge-Neous Distributed Systems using Hierarchical Algebraic Petri Nets","author":"didier","year":"1996","journal-title":"IEEE International Conference on Systems Man and Cybernetics"},{"journal-title":"ITU-T","article-title":"Recommendation Z.100: Specification and Description Language (SDL)","year":"1996","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref9","first-page":"91","article-title":"Framekit and Prototyping of CASE environment","author":"kordon","year":"1997","journal-title":"8th International Workshop on Rapid System Prototyping Research Triangle Park Institute"},{"key":"ref1","article-title":"Ariane 5 - Inquiry Board report - Flight 501 Failure","author":"lions","year":"1996","journal-title":"ESA"},{"article-title":"Component Software: Beyond Object-Oriented Programming","year":"1998","author":"szyperski","key":"ref20"},{"journal-title":"Sun Microsystems Inc","article-title":"Enterprise JavaBeans Specification","year":"2001","key":"ref22"},{"journal-title":"OMG ccm\/02–06–01","article-title":"CORBA Component Model Tutorial","year":"2002","key":"ref21"},{"key":"ref24","article-title":"Real-Time components","author":"isovi\u00e9","year":"2000","journal-title":"Component Based Software Engineering Course Mälardalen University Department of Software Engineering"},{"journal-title":"Microsoft Corporation and Digital Equipment Corporation","article-title":"The Component Object Model Specification","year":"1995","key":"ref23"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46020-9_34","article-title":"Component-based Product Line Engineering with Uml","author":"atkinson","year":"2002"},{"article-title":"Catalysis: Objects, Framework and Components in UML","year":"1998","author":"d'souza","key":"ref25"}],"event":{"name":"14th IEEE International Workshop on Rapid Systems Prototyping","acronym":"IWRSP-03","location":"San Diego, CA, USA"},"container-title":["14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8579\/27166\/01207024.pdf?arnumber=1207024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:17Z","timestamp":1497568697000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/iwrsp.2003.1207024","relation":{},"subject":[]}}