{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:14Z","timestamp":1725538154662},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042836"},{"type":"electronic","value":"9783642042843"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04284-3_3","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T13:55:48Z","timestamp":1252936548000},"page":"24-31","source":"Crossref","is-referenced-by-count":0,"title":["Modelling of Device Driver Software by Reflection of the Device Hardware Structure"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lehmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Moderne Betriebssysteme","author":"A.S. Tanenbaum","year":"2009","unstructured":"Tanenbaum, A.S.: Moderne Betriebssysteme, 3rd edn. Prentice Hall, Englewood Cliffs (2009)","edition":"3"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Reichardt, J., Schwarz, B.: VHDL-Synthese, 4th edn. Oldenbourg-Verlag, Munchen (2009)","DOI":"10.1524\/9783486710809"},{"key":"3_CR3","unstructured":"Open cores. Internet (2009), \n                    \n                      http:\/\/www.opencores.org"},{"key":"3_CR4","volume-title":"Linux Device Drivers","author":"A.R. Jonathan Corbet","year":"2005","unstructured":"Jonathan Corbet, A.R., Kroah-Hartman, G.: Linux Device Drivers, 3rd edn. O\u2019Reilly, Sebastopol (2005)","edition":"3"},{"key":"3_CR5","unstructured":"Oney, W.: Programming the Microsoft Windows Driver Model, 2nd edn. Microsoft Press Books, Redmond (2002)"},{"key":"3_CR6","unstructured":"Purohit, A., Wright, C.P., Spadavecchia, J., Zadok, E.: Cosy: Develop in user-land, run in kernel-mode. In: HotOS, pp. 109\u2013114 (2003)"},{"key":"3_CR7","unstructured":"Ganapathy, V., Balakrishnan, A., Swift, M.M., Jha, S.: Microdrivers: A new architecture for device drivers. In: HotOS 2007: Proceedings of the 11th Workshop on Hot Topics in Operating Systems, San Diego, California, USA, USENIX Association, May 2007, pp. 85\u201390 (2007)"},{"key":"3_CR8","unstructured":"Lehmann, T.: Towards Device Driver Synthesis. PhD thesis, University of Paderborn (2003)"},{"key":"3_CR9","unstructured":"Ihmor, S.: Modeling and automated synthesis of reconfigurable interfaces. Doktorarbeit, University of Paderborn (2006)"},{"key":"3_CR10","unstructured":"Thibault, S., Marlet, R., Consel, C.: A Domain-Specific Language for Video Device Drivers: from Design to Implementation. Technical report, Institut National de Recherche en Informatique et en Automatique (1997)"},{"key":"3_CR11","volume-title":"BeOS Advanced Topics-The Official Documentation for the BeOS","author":"T.B.D. Team","year":"1998","unstructured":"Team, T.B.D.: BeOS Advanced Topics-The Official Documentation for the BeOS. O\u2019Reilly, Sebastopol (1998)"},{"key":"3_CR12","unstructured":"Ditze, C.: Towards Operating System Synthesis. PhD thesis, University of Paderborn (2000)"},{"key":"3_CR13","unstructured":"Jnode - Java new operating system design effort. Internet (2009), \n                    \n                      http:\/\/www.jnode.de"},{"key":"3_CR14","unstructured":"Object management group - omg. Internet (2009), \n                    \n                      http:\/\/www.omg.org"},{"key":"3_CR15","volume-title":"Entwurfsmuster","author":"E. Gamma","year":"1996","unstructured":"Gamma, E.: Entwurfsmuster. Addison-Wesley, Reading (1996)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"3_CR17","volume-title":"PowerPC System Architecture","author":"T. Shanley","year":"1995","unstructured":"Shanley, T.: PowerPC System Architecture. MindShare Inc., Addison-Wesley Publishing Company, Reading (1995)"},{"key":"3_CR18","unstructured":"Lehmann, T., Zanella, M.: Modeling and software synthesis of interrupt systems. In: GI\/ITG\/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, T\u00fcbingen, GI\/ITG\/GMM (February 2002)"}],"container-title":["IFIP Advances in Information and Communication Technology","Analysis, Architectures and Modelling of Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04284-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T14:40:07Z","timestamp":1552142407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04284-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042836","9783642042843"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04284-3_3","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}