{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:00Z","timestamp":1772163960428,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"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,11,13]]},"DOI":"10.1145\/1103846.1103852","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"37-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Experiences using SPARK in an undergraduate CS course"],"prefix":"10.1145","author":[{"given":"Anthony S.","family":"Ruocco","sequence":"first","affiliation":[{"name":"Roger Williams University, Bristol, RI"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Criteria for Accrediting Computing Programs","author":"Computer Accreditation Commission","year":"2003","unstructured":"Computer Accreditation Commission , Criteria for Accrediting Computing Programs . ABET Inc , Baltimore MD , 2003 . Computer Accreditation Commission, Criteria for Accrediting Computing Programs. ABET Inc, Baltimore MD, 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Discrete Optimization Algorithms with Pascal programs","author":"Syslo M.","year":"1983","unstructured":"Syslo , M. , Deo , N. , and Kowalik , J. , Discrete Optimization Algorithms with Pascal programs . Prentice-Hall, Inc. Englewood Cliffs, NJ , 1983 . Syslo, M., Deo, N., and Kowalik, J., Discrete Optimization Algorithms with Pascal programs. Prentice-Hall, Inc. Englewood Cliffs, NJ, 1983."},{"key":"e_1_3_2_1_3_1","unstructured":"www.gnat.com\/academic_overview.php  www.gnat.com\/academic_overview.php"},{"key":"e_1_3_2_1_4_1","unstructured":"www.praxis-his.com\/sparkada\/universities.asp  www.praxis-his.com\/sparkada\/universities.asp"}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103852","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103852"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":4,"alternative-id":["10.1145\/1103846.1103852","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103852","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103852","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}