{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:04:03Z","timestamp":1725458643377},"publisher-location":"Boston","reference-count":7,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402075286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-306-48709-8_11","type":"book-chapter","created":{"date-parts":[[2005,12,30]],"date-time":"2005-12-30T06:21:38Z","timestamp":1135923698000},"page":"137-150","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device"],"prefix":"10.1007","author":[{"given":"Shinya","family":"Honda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroaki","family":"Takada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"11_CR1","first-page":"930","volume":"42","author":"H. Takada","year":"2001","unstructured":"Hiroaki Takada. \u201cThe Recent Status and Future Trends of Embedded System Development Technology.\u201d Journal of IPSJ, Vol. 42, No. 4, pp. 930\u2013938, 2001.","journal-title":"Journal of IPSJ"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"D. Gajski, J. Zhu, D. D\u00f6mer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology, Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"11_CR3","unstructured":"K. Muranaka, H. Takada, et al. \u201cDevice Driver Portability in the ITRON Device Driver Design Guidelines and Its Evaluation.\u201d In Proceedings of RTP 2001, a Workshop on Real-Time Processing, Vol. 2001, No. 21, pp. 23\u201330, 2001."},{"key":"11_CR4","unstructured":"T. Katayama, K. Saisho, and A. Fukuda. \u201cAbstraction of Device Drivers and Inputs of the Device Driver Generation System for UNIX-like Operating Systems.\u201d In Proceedings of 19th IASTED International Conference on Applied Informatics (AI2001), pp. 489\u2013495, 2001."},{"key":"11_CR5","unstructured":"D. Gajski, N. Dutt, C. Wu, and S. Lin. High-Level Synthesis: Introduction to Chip and System Design, Kluwer Academic Publishers, 1994."},{"key":"11_CR6","unstructured":"TRON Association. \u03bcITRON 4.0 Specification (Ver 4.00.00), Tokyo, Japan, 2002. \n                  https:\/\/2.zoppoz.workers.dev:443\/http\/www.assoc.tron.org\/eng\/"},{"key":"11_CR7","unstructured":"Shinya Honda. Applicability Evaluation of SpecC to the Integrated Design Method of a Device Driver and a Device, Master Thesis, Information and Computing Sciences, Toyohashi University of Technology, 2002."}],"container-title":["Embedded Software for SoC"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/0-306-48709-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T00:42:36Z","timestamp":1619484156000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/0-306-48709-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402075286"],"references-count":7,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/0-306-48709-8_11","relation":{},"subject":[]}}