{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:22:41Z","timestamp":1725556961047},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_16","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"189-200","source":"Crossref","is-referenced-by-count":1,"title":["MoPCoM Methodology: Focus on Models of Computation"],"prefix":"10.1007","author":[{"given":"Ali","family":"Koudri","sequence":"first","affiliation":[]},{"given":"Jo\u00ebl","family":"Champeau","sequence":"additional","affiliation":[]},{"given":"Jean-Christophe","family":"Le Lann","sequence":"additional","affiliation":[]},{"given":"Vincent","family":"Leilde","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"ITRS: Design. Technical report, International Technology Roadmap For Semiconductors (2007)"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MDT.2009.62","volume":"26","author":"A. Sangiovanni-Vincentelli","year":"2009","unstructured":"Sangiovanni-Vincentelli, A., Shukla, S.K., Sztipanovits, J., Yang, G., Mathaikutty, D.A.: Metamodeling: An emerging representation paradigm for system-level design. IEEE Des. Test\u00a026(3), 54\u201369 (2009)","journal-title":"IEEE Des. Test"},{"key":"16_CR3","unstructured":"OMG: Mda guide version 1.0.1. Technical report, Object Management Group (2003)"},{"key":"16_CR4","unstructured":"Sangiovanni-Vincentelli, A.: Defining platform-based design. EEDesign of EETimes (2002)"},{"key":"16_CR5","unstructured":"OMG: Uml profile for marte, beta 1. Technical Report ptc\/07-08-04, Object Management Group (2007)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Koudri, A., Jo\u00ebl Champeau, D.A., Soulard, P.: Mopcom\/marte process applied to a cognitive radio system design and analysis. In: Model Driven Architecture, Foundations and Applications (2009)","DOI":"10.1007\/978-3-642-02674-4_20"},{"issue":"5","key":"16_CR7","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1023\/A:1011426600077","volume":"6","author":"I. Mitola Joseph","year":"2001","unstructured":"Mitola Joseph, I.: Cognitive radio for flexible mobile multimedia communications. Mob. Netw. Appl.\u00a06(5), 435\u2013441 (2001)","journal-title":"Mob. Netw. Appl."},{"key":"16_CR8","unstructured":"Hachemani, R., Palicot, J., Moy, C.: A new standard recognition sensor for cognitive radio terminals. In: EURASIP 2007, Kessariani, Greece (2007)"},{"key":"16_CR9","first-page":"18","volume-title":"Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Pataricza, A.: Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models. In: Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, pp. 18\u201333. Springer, Heidelberg (2002)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/11557432_5","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Chauvel","year":"2005","unstructured":"Chauvel, F., J\u00e9z\u00e9quel, J.M.: Code generation from uml models with semantic variation points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 54\u201368. Springer, Heidelberg (2005)"},{"key":"16_CR11","first-page":"527","volume":"10","author":"J. Buck","year":"2002","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. IEEE\u00a010, 527\u2013543 (2002)","journal-title":"IEEE"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Herrera, F., S\u00e1nchez, P., Villar, E.: Modeling of csp, kpn and sr systems with systemc. Languages for system specification: Selected contributions on UML, SystemC, system Verilog, mixed-signal systems, and property specification from FDL 2003, 133\u2013148 (2004)","DOI":"10.1007\/1-4020-7991-5_9"},{"key":"16_CR13","first-page":"716","volume-title":"ICCAD 2006: Proceedings of the 2006 IEEE\/ACM international conference on Computer-aided design","author":"S. Greg","year":"2006","unstructured":"Greg, S., Frank, V., Walid, N.: A code refinement methodology for performance-improved synthesis from c. In: ICCAD 2006: Proceedings of the 2006 IEEE\/ACM international conference on Computer-aided design, New York, NY, USA, pp. 716\u2013723. ACM, New York (2006)"},{"key":"16_CR14","unstructured":"Koudri, A., Meftali, S., Dekeyser, J.L.: IP integration in embedded systems modeling. In: 14th IP Based SoC Design Conference (IP-SoC 2005), Grenoble, France (2005)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/996566.996684","volume-title":"DAC 2004: Proceedings of the 41st annual conference on Design automation","author":"A. Sangiovanni-Vincentelli","year":"2004","unstructured":"Sangiovanni-Vincentelli, A., Carloni, L., Bernardinis, F.D., Sgroi, M.: Benefits and challenges for platform-based design. In: DAC 2004: Proceedings of the 41st annual conference on Design automation, New York, NY, USA, pp. 409\u2013414. ACM, New York (2004)"},{"key":"16_CR16","unstructured":"Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: Uml and platform-based design"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Edwards, M., Green, P.: Uml for hardware and software object modeling. In: UML for real: design of embedded real-time systems, pp. 127\u2013147 (2003)","DOI":"10.1007\/0-306-48738-1_6"},{"key":"16_CR18","volume-title":"Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES)","author":"E. Riccobene","year":"2007","unstructured":"Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: Designing a unified process for embedded systems. In: Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), Braga, Portugal, IEEE Computer Society, Los Alamitos (2007)"},{"key":"16_CR19","unstructured":"Piel, E., Attitalah, R.B., Marquet, P., Meftali, S., Niar, S., Etien, A., Dekeyser, J.L., Boulet, P.: Gaspard2: from marte to systemc simulation. In: Proceeedings of the DATE 2008 friday workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile (2008)"},{"key":"16_CR20","volume-title":"Real-Time Agility: The Harmony Method for Real-Time and Embedded Systems Development","author":"B.P. Douglass","year":"2009","unstructured":"Douglass, B.P.: Real-Time Agility: The Harmony Method for Real-Time and Embedded Systems Development. Addison-Wesley Professional, Reading (2009)"},{"key":"16_CR21","unstructured":"OMG: Systems modeling language specification v1.1. Technical Report ptc\/2008-05-16, Object Management Group (2008)"},{"key":"16_CR22","unstructured":"OMG: Uml profile for schedulability, performance, and time, version 1.1. Technical Report formal\/2005-01-02, Object Management Group (2005)"},{"key":"16_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/b137175","volume-title":"Transaction-Level Modeling with SystemC","author":"F. Ghenassia","year":"2005","unstructured":"Ghenassia, F.: Transaction-Level Modeling with SystemC. Springer, Heidelberg (2005)"},{"key":"16_CR24","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoC\u2019s. Systems on Silicon (2004)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13595-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:40:38Z","timestamp":1606185638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}