{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:51Z","timestamp":1763468151369,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/cseet.2013.6595254","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:55:13Z","timestamp":1379606113000},"page":"229-238","source":"Crossref","is-referenced-by-count":10,"title":["Specification and reasoning in SE projects using a Web IDE"],"prefix":"10.1109","author":[{"given":"Charles T.","family":"Cook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Svetlana V.","family":"Drachova-Strang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yu-Shan Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey C.","family":"Carver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Hollingsworth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2011.5876137"},{"key":"17","article-title":"An overview of the Jahob Analysis System-Project Goals and Current Status","author":"kunac","year":"2006","journal-title":"NSF Next Generation Software Workshop"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227248"},{"key":"15","first-page":"35","article-title":"Teaching logic using a state-of-the-art proof assistant","volume":"3","author":"hendricks","year":"2010","journal-title":"Acta Didacta Napocensia"},{"key":"16","first-page":"304","article-title":"A Quick tour of the ve rifast program verifier","volume":"6461","author":"jacobs","year":"2010","journal-title":"Proc APLAS 2010 Tool Paper Track LNCS"},{"year":"0","key":"13"},{"key":"14","article-title":"A lightweight theorem prover interface for eclipse","author":"charles","year":"2008","journal-title":"INRIA Sophia Antipolis"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1140124.1140181"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/544486.544500"},{"journal-title":"A Web-Integrated Environment for Component-Based Reasoning","year":"2011","author":"cook","key":"3"},{"key":"2","article-title":"Panel: Teaching mathematical reasoning across the curriculum","author":"krone","year":"2012","journal-title":"Procs 43rd ACM SIGCSE Conference"},{"key":"1","article-title":"Panel: How mathematical thinking enhances computer science problem solving","author":"gries","year":"2001","journal-title":"Procs 32nd ACM SIGCSE Conference"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1562877.1562899"},{"journal-title":"A Practitioner's Approach 7e","year":"2010","author":"pressman","key":"7"},{"journal-title":"Teaching and Assessment of Mathematical Principles for Software Correctness Using A Reasoning Concept Inventory","year":"2013","author":"drachova","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227243"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1508865.1509046"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2325296.2325378"}],"event":{"name":"2013 IEEE 26th Conference on Software Engineering Education and Training - (CSEE&T)","start":{"date-parts":[[2013,5,19]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,21]]}},"container-title":["2013 26th International Conference on Software Engineering Education and Training (CSEE&T)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588688\/6595226\/06595254.pdf?arnumber=6595254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T20:25:44Z","timestamp":1490214344000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cseet.2013.6595254","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}