{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:03Z","timestamp":1772163963311,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,2,23]],"date-time":"2005-02-23T00:00:00Z","timestamp":1109116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,2,23]]},"DOI":"10.1145\/1047344.1047510","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"530-534","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["We've been working on the railroad"],"prefix":"10.1145","author":[{"given":"John W.","family":"McCormick","sequence":"first","affiliation":[{"name":"University of Northern Iowa, Cedar Falls, IA"}]}],"member":"320","published-online":{"date-parts":[[2005,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971394"},{"key":"e_1_3_2_1_2_1","volume-title":"The SPARK Approach to Safety and Security","author":"Barnes J.","year":"2003","unstructured":"Barnes , J. , High Integrity Software , The SPARK Approach to Safety and Security , Addison-Wesley , 2003 . Barnes, J., High Integrity Software, The SPARK Approach to Safety and Security, Addison-Wesley, 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"Real-Time Systems and Programming Languages","author":"Burns A.","year":"2001","unstructured":"Burns , A. and Wellings , A. , Real-Time Systems and Programming Languages ( 3 rd Ed.), Addison Wesley , 2001 . Burns, A. and Wellings, A., Real-Time Systems and Programming Languages (3rd Ed.), Addison Wesley, 2001.","edition":"3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364601"},{"key":"e_1_3_2_1_5_1","unstructured":"Dallee Electronics Inc. Railroad Sound Systems. http:\/\/www.dallee.com\/sound_systems.htm  Dallee Electronics Inc. Railroad Sound Systems. http:\/\/www.dallee.com\/sound_systems.htm"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/248448.248456"},{"key":"e_1_3_2_1_7_1","unstructured":"IEEE Computer Society\/ACM Joint Task Force on the \"Model Curricula for Computing\". http:\/\/www.computer.org\/education\/cc2001\/final\/  IEEE Computer Society\/ACM Joint Task Force on the \"Model Curricula for Computing\". http:\/\/www.computer.org\/education\/cc2001\/final\/"},{"issue":"8","key":"e_1_3_2_1_8_1","first-page":"30","volume":"40","author":"McCormick J.","year":"1997","unstructured":"McCormick , J. , Forum Letter , Communications of the ACM , vol 40 , no 8 , 30 , 1997 . McCormick, J., Forum Letter, Communications of the ACM, vol 40, no 8, 30, 1997.","journal-title":"Communications of the ACM"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/992211.958431"},{"key":"e_1_3_2_1_10_1","volume-title":"Object-Oriented Modeling and Design","author":"Rumbaugh J.","year":"1990","unstructured":"Rumbaugh , J. , Blaha , M. , Premerlani , W. Eddy , F. , and Lorenson , W. , Object-Oriented Modeling and Design , Prentice Hall , 1990 . Rumbaugh, J., Blaha, M., Premerlani, W. Eddy, F., and Lorenson, W., Object-Oriented Modeling and Design, Prentice Hall, 1990."},{"key":"e_1_3_2_1_11_1","unstructured":"Writing Center at the Colorado State University. http:\/\/writing.colostate.edu\/references\/documents\/notebook\/  Writing Center at the Colorado State University. http:\/\/writing.colostate.edu\/references\/documents\/notebook\/"}],"event":{"name":"SIGCSE05: Technical Symposium on Computer Science Education","location":"St. Louis Missouri USA","acronym":"SIGCSE05","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 36th SIGCSE technical symposium on Computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1047344.1047510","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1047344.1047510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:07:48Z","timestamp":1750248468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1047344.1047510"}},"subtitle":["a laboratory for real-time embedded systems"],"short-title":[],"issued":{"date-parts":[[2005,2,23]]},"references-count":11,"alternative-id":["10.1145\/1047344.1047510","10.1145\/1047344"],"URL":"https:\/\/doi.org\/10.1145\/1047344.1047510","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047124.1047510","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,2,23]]},"assertion":[{"value":"2005-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}