{"id":"https://openalex.org/W2214615446","doi":"https://doi.org/10.1145/1508865.1509046","title":"Injecting rapid feedback and collaborative reasoning in teaching specifications","display_name":"Injecting rapid feedback and collaborative reasoning in teaching specifications","publication_year":2009,"publication_date":"2009-03-03","ids":{"openalex":"https://openalex.org/W2214615446","doi":"https://doi.org/10.1145/1508865.1509046","mag":"2214615446"},"language":"en","primary_location":{"id":"doi:10.1145/1508865.1509046","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1508865.1509046","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM technical symposium on Computer science education","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012649864","display_name":"Dana Leonard","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dana P. Leonard","raw_affiliation_strings":["Clemson University, Clemson, SC, USA"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029268835","display_name":"Jason O. Hallstrom","orcid":"https://orcid.org/0000-0002-4728-6099"},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason O. Hallstrom","raw_affiliation_strings":["Clemson University, Clemson, SC, USA"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047326006","display_name":"Murali Sitaraman","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murali Sitaraman","raw_affiliation_strings":["Clemson University, Clemson, SC, USA"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012649864"],"corresponding_institution_ids":["https://openalex.org/I8078737"],"apc_list":null,"apc_paid":null,"fwci":2.6171,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.9122048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"524","last_page":"528"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10636","display_name":"Innovative Teaching and Learning Methods","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7552058100700378},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.7126346826553345},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6478950381278992},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5177282691001892},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5069063305854797},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46133315563201904},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.42508983612060547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27493196725845337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7552058100700378},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.7126346826553345},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6478950381278992},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5177282691001892},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5069063305854797},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46133315563201904},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.42508983612060547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27493196725845337},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1508865.1509046","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1508865.1509046","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM technical symposium on Computer science education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1968830190","https://openalex.org/W1984262205","https://openalex.org/W1987064735","https://openalex.org/W2083236745","https://openalex.org/W2100505193","https://openalex.org/W2112236156","https://openalex.org/W2117869045","https://openalex.org/W2127907816","https://openalex.org/W2144769502","https://openalex.org/W2158119646","https://openalex.org/W3087102607","https://openalex.org/W4231593859","https://openalex.org/W4245969237","https://openalex.org/W4251194008","https://openalex.org/W4252293411"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4388145910","https://openalex.org/W2381570729","https://openalex.org/W1976205134","https://openalex.org/W4248336175","https://openalex.org/W2031260042","https://openalex.org/W2391445434","https://openalex.org/W3009369890","https://openalex.org/W4312490297","https://openalex.org/W2381929017"],"abstract_inverted_index":{"We":[0,66,82],"describe":[1,67],"an":[2],"approach":[3],"to":[4,20],"teaching":[5],"formal":[6],"interface":[7],"specifications":[8],"using":[9],"aspects":[10],"of":[11,31,35,70,87],"the":[12,61,64,68,71,74],"Collaborative":[13],"Reasoning":[14],"Paradigm.":[15],"The":[16],"module":[17],"requires":[18],"students":[19,62],"construct":[21],"test":[22],"cases":[23],"independently":[24],"and":[25,51,63,78],"cooperatively":[26],"based":[27],"on":[28],"their":[29,49],"understanding":[30],"a":[32,85,91],"given":[33],"set":[34],"method":[36],"specifications.":[37],"Students":[38],"are":[39],"supported":[40],"by":[41],"software-based":[42],"reasoning":[43,76,80],"assistants":[44],"that":[45],"guide":[46],"them":[47],"through":[48],"exercises":[50],"provide":[52],"realtime":[53],"feedback":[54],"as":[55],"they":[56],"work":[57],"---":[58],"both":[59],"for":[60],"instructor.":[65],"design":[69],"course":[72],"module,":[73],"supporting":[75],"assistant,":[77],"representative":[79],"exercises.":[81],"conclude":[83],"with":[84],"discussion":[86],"evaluation":[88],"results":[89],"from":[90],"recent":[92],"pilot":[93],"study":[94],"conducted":[95],"at":[96],"Clemson":[97],"University.":[98]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}