{"id":"https://openalex.org/W2121191865","doi":"https://doi.org/10.1145/1562877.1562899","title":"Engaging students in specification and reasoning","display_name":"Engaging students in specification and reasoning","publication_year":2009,"publication_date":"2009-07-06","ids":{"openalex":"https://openalex.org/W2121191865","doi":"https://doi.org/10.1145/1562877.1562899","mag":"2121191865"},"language":"en","primary_location":{"id":"doi:10.1145/1562877.1562899","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1562877.1562899","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in 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/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":true,"raw_author_name":"Murali Sitaraman","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"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","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015191565","display_name":"Jarred White","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":"Jarred White","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062106395","display_name":"Svetlana V. Drachova-Strang","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":"Svetlana Drachova-Strang","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082325779","display_name":"Heather Harton","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":"Heather K. Harton","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","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":false,"raw_author_name":"Dana Leonard","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109880303","display_name":"Joan Krone","orcid":null},"institutions":[{"id":"https://openalex.org/I20577493","display_name":"Denison University","ror":"https://ror.org/05pqx1c24","country_code":"US","type":"education","lineage":["https://openalex.org/I20577493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joan Krone","raw_affiliation_strings":["Denison University, Granville, OH, USA"],"affiliations":[{"raw_affiliation_string":"Denison University, Granville, OH, USA","institution_ids":["https://openalex.org/I20577493"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054604619","display_name":"Richard Pak","orcid":"https://orcid.org/0000-0001-9145-6991"},"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":"Rich Pak","raw_affiliation_strings":["Clemson University, Clemson, SC, USA","Clemson University, Clemson, SC, USA,"],"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Clemson University, Clemson, SC, USA,","institution_ids":["https://openalex.org/I8078737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5047326006"],"corresponding_institution_ids":["https://openalex.org/I8078737"],"apc_list":null,"apc_paid":null,"fwci":3.7015,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.94306383,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"50","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.98580002784729,"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/correctness","display_name":"Correctness","score":0.796305775642395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7455029487609863},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6893197298049927},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5043455362319946},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4560101628303528},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4554940164089203},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.43932095170021057},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4322531819343567},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.43114954233169556},{"id":"https://openalex.org/keywords/social-software-engineering","display_name":"Social software engineering","score":0.42645150423049927},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4234892427921295},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.422539085149765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40344154834747314},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10783472657203674}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.796305775642395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7455029487609863},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6893197298049927},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5043455362319946},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4560101628303528},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4554940164089203},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.43932095170021057},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4322531819343567},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.43114954233169556},{"id":"https://openalex.org/C182500959","wikidata":"https://www.wikidata.org/wiki/Q7551380","display_name":"Social software engineering","level":5,"score":0.42645150423049927},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4234892427921295},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.422539085149765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40344154834747314},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10783472657203674},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1562877.1562899","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1562877.1562899","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1523445204","https://openalex.org/W1560971300","https://openalex.org/W1987064735","https://openalex.org/W1987577768","https://openalex.org/W2012948439","https://openalex.org/W2014953334","https://openalex.org/W2017160460","https://openalex.org/W2028316659","https://openalex.org/W2040171107","https://openalex.org/W2055710741","https://openalex.org/W2055814893","https://openalex.org/W2061533537","https://openalex.org/W2084001367","https://openalex.org/W2112236156","https://openalex.org/W2214615446","https://openalex.org/W2912530047","https://openalex.org/W4229933586","https://openalex.org/W4253790373","https://openalex.org/W6631022185","https://openalex.org/W6816488857"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2392362176","https://openalex.org/W2343496192","https://openalex.org/W2149330497","https://openalex.org/W377532801","https://openalex.org/W1519652642","https://openalex.org/W2505129019","https://openalex.org/W1558228200","https://openalex.org/W1574400345","https://openalex.org/W4240085170"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,14,98],"\"hands-on\"":[3],"experimentation":[4],"approach":[5,19,95],"for":[6,82],"teaching":[7],"mathematical":[8,73],"specification":[9],"and":[10,26,65,72,86],"reasoning":[11,27],"principles":[12],"in":[13,56],"software":[15,34,58,71,83],"engineering":[16,35],"course.":[17],"The":[18],"is":[20],"made":[21],"possible":[22],"by":[23,43,75],"computer-aided":[24],"analysis":[25,74],"tools":[28],"that":[29,79,93],"help":[30],"achieve":[31],"three":[32],"central":[33],"learning":[36],"outcomes:":[37],"(i)":[38],"Learning":[39,51,67],"to":[40,52],"read":[41],"specifications":[42,55],"creating":[44],"test":[45],"points":[46],"using":[47],"only":[48],"specifications;":[49],"(ii)":[50],"use":[53],"formal":[54],"team":[57],"development":[59],"while":[60],"developing":[61],"participating":[62],"components":[63],"independently;":[64],"(iii)":[66],"the":[68],"connections":[69],"between":[70],"proving":[76],"verification":[77],"conditions":[78],"establish":[80],"correctness":[81],"components.":[84],"Experimentation":[85],"evaluation":[87],"results":[88],"from":[89],"two":[90],"institutions":[91],"show":[92],"our":[94],"has":[96],"had":[97],"positive":[99],"impact.":[100]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}