{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T05:30:02Z","timestamp":1780378202249,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"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":[[2009,7,6]]},"DOI":"10.1145\/1562877.1562899","type":"proceedings-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T13:34:19Z","timestamp":1247060059000},"page":"50-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Engaging students in specification and reasoning"],"prefix":"10.1145","author":[{"given":"Murali","family":"Sitaraman","sequence":"first","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason O.","family":"Hallstrom","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jarred","family":"White","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Svetlana","family":"Drachova-Strang","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heather K.","family":"Harton","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dana","family":"Leonard","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joan","family":"Krone","sequence":"additional","affiliation":[{"name":"Denison University, Granville, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rich","family":"Pak","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352149"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903919"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364531"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/273133.274334"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/571968.571970"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/572133.572136"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/190679.190682"},{"key":"e_1_3_2_1_8_1","volume-title":"B. Wah","author":"Harton H.","year":"2008","unstructured":"Harton , H. , Krone , J. , and Sitaraman , M. , \" Formal Program Verification,\" Encyclopedia of Computer Science and Engineering , Ed. B. Wah , John Wiley &Sons, 2008 . Harton, H., Krone, J., and Sitaraman, M., \"Formal Program Verification,\" Encyclopedia of Computer Science and Engineering, Ed. B. Wah, John Wiley&Sons, 2008."},{"key":"e_1_3_2_1_9_1","volume-title":"B. Wah","author":"Kulczycki G.","year":"2008","unstructured":"Kulczycki , G. , Sitaraman , M. , Yasmin , N. , and Roche , K. , \" Formal Specification,\" Encyclopedia of Computer Science and Engineering , Ed. B. Wah , John Wiley &Sons, 2008 . Kulczycki, G., Sitaraman, M., Yasmin, N., and Roche, K., \"Formal Specification,\" Encyclopedia of Computer Science and Engineering, Ed. B. Wah, John Wiley&Sons, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508865.1509046"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_10"},{"key":"e_1_3_2_1_12_1","first-page":"609","volume":"601","author":"Sitaraman M.","year":"2001","unstructured":"Sitaraman , M. , Long , T.J. , Weide , B.W. , Harner , E.J. , and Wang , L. , \"A Formal Approach to Component-Based Software Engineering and Its Evaluation,\" The 23rd International Conference on Software Engineering, IEEE , 2001 , 601 -- 609 . Sitaraman, M., Long, T.J., Weide, B.W., Harner, E.J., and Wang, L., \"A Formal Approach to Component-Based Software Engineering and Its Evaluation,\" The 23rd International Conference on Software Engineering, IEEE, 2001, 601--609.","journal-title":"International Conference on Software Engineering, IEEE"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/236452.236530"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140124.1140181"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/236452.236529"}],"event":{"name":"ITiCSE '09: Annual Conference on Innovation and Technology in Computer Science Education","location":"Paris France","acronym":"ITiCSE '09","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562877.1562899","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1562877.1562899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:08Z","timestamp":1750234988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562877.1562899"}},"subtitle":["\"hands-on\" experimentation and evaluation"],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":15,"alternative-id":["10.1145\/1562877.1562899","10.1145\/1562877"],"URL":"https:\/\/doi.org\/10.1145\/1562877.1562899","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1595496.1562899","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}