{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:05:09Z","timestamp":1730210709684,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/cseet.2011.5876080","type":"proceedings-article","created":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T17:03:31Z","timestamp":1308589411000},"page":"129-138","source":"Crossref","is-referenced-by-count":0,"title":["Turning real-world systems into verification-driven learning cases"],"prefix":"10.1109","author":[{"given":"Shengru","family":"Tu","sequence":"first","affiliation":[]},{"given":"Shireesha","family":"Tankashala","sequence":"additional","affiliation":[]},{"given":"Sehun","family":"Oh","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Becker","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Horton","sequence":"additional","affiliation":[]},{"given":"Aditya","family":"Kallem","sequence":"additional","affiliation":[]},{"given":"Zhao","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121419"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.34"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICALT.2004.1357439"},{"key":"ref13","article-title":"An online ontology navigator for Web Applications in education","author":"tankashala","year":"2010","journal-title":"2nd Int Conf on Computer Supported Education"},{"key":"ref14","article-title":"SPARQL-DL: SPARQL Query for OWL-DL","volume":"258","author":"sirin","year":"2007","journal-title":"Proceedings of the 3rd OWL Experiences and Directions Workshop"},{"year":"0","key":"ref15","article-title":"OWL 2 Web Ontology Language"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ITCS.2010.5581268"},{"journal-title":"The Teaching of Science As Enquiry","year":"1966","author":"schwab","key":"ref17"},{"journal-title":"Problem-Based Learning An Approach to Medical Education","year":"1980","author":"barrow","key":"ref18"},{"journal-title":"The Power of Problem-Based Learning","year":"2001","author":"duch","key":"ref19"},{"journal-title":"Curriculum guidelines for undergraduate degree programs in information technology","year":"2008","author":"lunt","key":"ref4"},{"journal-title":"Designing Software Product Lines with UML","year":"2004","author":"gomaa","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1288580.1288586"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1067445.1067475"},{"key":"ref8","first-page":"78","article-title":"An evalution of the efficacy of seminars in retaining and recruiting computer science majors","volume":"22","author":"wiedemeter","year":"2007","journal-title":"JCSC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1029533.1029536"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1822090.1822108"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2008.9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1513593.1513597"},{"key":"ref20","first-page":"117","article-title":"Four Phases to Construct Problem-based Learning Instruction Meterials","author":"tien","year":"2005","journal-title":"International Conference on PBL"}],"event":{"name":"2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)","start":{"date-parts":[[2011,5,22]]},"location":"Honolulu, HI, USA","end":{"date-parts":[[2011,5,24]]}},"container-title":["2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5783969\/5876072\/05876080.pdf?arnumber=5876080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T07:08:45Z","timestamp":1490080125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5876080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cseet.2011.5876080","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}