{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:59:57Z","timestamp":1725627597170},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_13","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:19:20Z","timestamp":1320214760000},"page":"184-192","source":"Crossref","is-referenced-by-count":1,"title":["Ein Testsystem fuer Echtzeitprogramme"],"prefix":"10.1007","author":[{"given":"Roger","family":"Schoenberger","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/358855.358857","volume":"23","author":"RL Glass","year":"1980","unstructured":"Glass, R.L.: Real-time: The \u201clost world\u201d of software debugging and testing. CACM 23, no. 5, pp. 264\u2013271 (1980).","journal-title":"CACM"},{"key":"13_CR2","volume-title":"Zug: Landis & Gyr","author":"A Businger","year":"1983","unstructured":"Businger, A.: Portal Sprachbeschreibung. Zug: Landis & Gyr 1983."},{"key":"13_CR3","first-page":"49","volume-title":"Algorithmic Languages, Proc. IF IP Congress 1981","author":"R Schild","year":"1981","unstructured":"Schild, R.: PORTAL - a PASCAL-based real-time programming language. In: Algorithmic Languages (de Bakker, van Vliet eds.), Proc. IF IP Congress 1981, pp. 49\u201358. Amsterdam: North-Holland 1981."},{"unstructured":"Voelkle, F.: Portal crossref description. Ecole Polytechnique Federale de Lausanne, Chaire d\u2019Informatique Theorique, Rapport no. 19, 1981.","key":"13_CR4"},{"key":"13_CR5","first-page":"37","volume":"1","author":"P Brinch Hansen","year":"1977","unstructured":"Brinch Hansen, P.: The programming language Concurrent Pascal. IEEE Tr. Software Engineering, vol. 1, pp. 37\u201365 (1977).","journal-title":"IEEE Tr. Software Engineering"},{"key":"13_CR6","first-page":"3","volume":"7","author":"N Wirth","year":"1977","unstructured":"Wirth, N.: Modula: A language for modular multiprogramming. Software-Practice and Experience, vol. 7, pp. 3\u201335 (1977).","journal-title":"Software-Practice and Experience"},{"issue":"11","key":"13_CR7","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/C-M.1981.220255","volume":"14","author":"B Plattner","year":"1981","unstructured":"Plattner, B., Nievergelt, J.: Monitoring program execution: A Survey. Computer, vol. 14, no. 11, pp. 76\u201393 (1981).","journal-title":"Computer"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1109\/TSE.1981.231109","volume":"5","author":"R Medina-Mora","year":"1981","unstructured":"Medina-Mora, R., Feiler, P.H.: An incremental programming environment. IEEE Tr. Software Engineering, vol. SE-7, no. 5, pp. 472\u2013482 (1981).","journal-title":"IEEE Tr. Software Engineering, vol. SE-7"},{"issue":"9","key":"13_CR9","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","volume":"24","author":"T Teitelbaum","year":"1981","unstructured":"Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: A syntax-directed programming environment. CACM 24, no. 9, pp. 563\u2013573 (1981).","journal-title":"CACM"},{"key":"13_CR10","first-page":"130","volume-title":"ACM SIGSOFT\/ SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8","author":"P Fritzson","year":"1983","unstructured":"Fritzson, P.: A systematic approach to advanced debugging through incremental compilation. In: ACM SIGSOFT\/ SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8, pp. 130\u2013139 (1983)."},{"key":"13_CR11","first-page":"140","volume-title":"ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8","author":"WM Gentleman","year":"1983","unstructured":"Gentleman, W. M., Hoeksma, H.: Hardware assisted high level debugging. In: ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8, pp. 140\u2013144 (1983)."},{"key":"13_CR12","first-page":"145","volume-title":"ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8","author":"CR Hill","year":"1983","unstructured":"Hill, C. R.: A real-time microprocessor debugging technique. In: ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging, ACM SIGPLAN Notices, vol. 18, no. 8, pp. 145 - 148 (1983)."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1002\/spe.4380130807","volume":"13","author":"CA Witschorik","year":"1983","unstructured":"Witschorik, C. A.: The real-time debugging monitor for the Bell System 1A processor. Software-Practice and Experience, vol. 13, pp. 727\u2013743 (1983).","journal-title":"Software-Practice and Experience"},{"unstructured":"Macke, D. P., Ashley, P. C.: Symbolic testing: its philosophy and application in the testing of a real-time distributed system. Proc. first annual Phoenix conf. in computers and communications, pp. 178\u2013181 (1982).","key":"13_CR14"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:33:45Z","timestamp":1606239225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}