{"id":"https://openalex.org/W4378800757","doi":"https://doi.org/10.1145/3569173.3569175","title":"Towards a Tool to Support Students through Procedural Programming Guidance","display_name":"Towards a Tool to Support Students through Procedural Programming Guidance","publication_year":2022,"publication_date":"2022-11-21","ids":{"openalex":"https://openalex.org/W4378800757","doi":"https://doi.org/10.1145/3569173.3569175"},"language":"en","primary_location":{"id":"doi:10.1145/3569173.3569175","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3569173.3569175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Computer Science Education Research Conference","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/A5102962126","display_name":"Sander Albers","orcid":"https://orcid.org/0000-0002-9874-6585"},"institutions":[{"id":"https://openalex.org/I36523846","display_name":"Stenden University of Applied Sciences","ror":"https://ror.org/026xbkx09","country_code":"NL","type":"education","lineage":["https://openalex.org/I36523846"]},{"id":"https://openalex.org/I4387154156","display_name":"NHL Stenden University of Applied Sciences","ror":"https://ror.org/02xgxme97","country_code":null,"type":"education","lineage":["https://openalex.org/I4387154156"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sander Albers","raw_affiliation_strings":["NHL Stenden University of Applied Sciences, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9874-6585","affiliations":[{"raw_affiliation_string":"NHL Stenden University of Applied Sciences, Netherlands","institution_ids":["https://openalex.org/I36523846","https://openalex.org/I4387154156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092052157","display_name":"Nando Reij","orcid":"https://orcid.org/0000-0001-6906-4449"},"institutions":[{"id":"https://openalex.org/I36523846","display_name":"Stenden University of Applied Sciences","ror":"https://ror.org/026xbkx09","country_code":"NL","type":"education","lineage":["https://openalex.org/I36523846"]},{"id":"https://openalex.org/I4387154156","display_name":"NHL Stenden University of Applied Sciences","ror":"https://ror.org/02xgxme97","country_code":null,"type":"education","lineage":["https://openalex.org/I4387154156"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nando Reij","raw_affiliation_strings":["NHL Stenden University of Applied Sciences, Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6906-4449","affiliations":[{"raw_affiliation_string":"NHL Stenden University of Applied Sciences, Netherlands","institution_ids":["https://openalex.org/I36523846","https://openalex.org/I4387154156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092052215","display_name":"Wouter Brinksma","orcid":"https://orcid.org/0000-0002-7392-8788"},"institutions":[{"id":"https://openalex.org/I36523846","display_name":"Stenden University of Applied Sciences","ror":"https://ror.org/026xbkx09","country_code":"NL","type":"education","lineage":["https://openalex.org/I36523846"]},{"id":"https://openalex.org/I4387154156","display_name":"NHL Stenden University of Applied Sciences","ror":"https://ror.org/02xgxme97","country_code":null,"type":"education","lineage":["https://openalex.org/I4387154156"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wouter Brinksma","raw_affiliation_strings":["NHL Stenden University of Applied Sciences, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-7392-8788","affiliations":[{"raw_affiliation_string":"NHL Stenden University of Applied Sciences, Netherlands","institution_ids":["https://openalex.org/I36523846","https://openalex.org/I4387154156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036047357","display_name":"A. Bijlsma","orcid":"https://orcid.org/0000-0003-0916-2447"},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Lex Bijlsma","raw_affiliation_strings":["Open Universiteit, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-0916-2447","affiliations":[{"raw_affiliation_string":"Open Universiteit, Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063474000","display_name":"Harrie Passier","orcid":"https://orcid.org/0000-0003-1992-250X"},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Harrie Passier","raw_affiliation_strings":["Open Universiteit, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1992-250X","affiliations":[{"raw_affiliation_string":"Open Universiteit, Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20079951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"13","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},{"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7911742329597473},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.7486469149589539},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.6039236187934875},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5353707671165466},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5252106785774231},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.48984596133232117},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.48622098565101624},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44425371289253235},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.40308651328086853},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.3615496754646301},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.326022207736969},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18966558575630188}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7911742329597473},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.7486469149589539},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.6039236187934875},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5353707671165466},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5252106785774231},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48984596133232117},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.48622098565101624},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44425371289253235},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.40308651328086853},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3615496754646301},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.326022207736969},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18966558575630188},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3569173.3569175","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3569173.3569175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Computer Science Education Research Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1506512744","https://openalex.org/W1830889901","https://openalex.org/W2052363833","https://openalex.org/W2151358952","https://openalex.org/W2795386701","https://openalex.org/W2914779230"],"related_works":["https://openalex.org/W2361861616","https://openalex.org/W2263699433","https://openalex.org/W2377979023","https://openalex.org/W2218034408","https://openalex.org/W2392921965","https://openalex.org/W4389670110","https://openalex.org/W2187546663","https://openalex.org/W2429057255","https://openalex.org/W148745890","https://openalex.org/W2611942503"],"abstract_inverted_index":{"Developing":[0],"quality":[1],"software":[2],"is":[3,109],"a":[4,31,52,84,118],"complex":[5],"activity":[6],"because":[7],"it":[8],"combines":[9],"reasoning,":[10],"building,":[11],"and":[12,47,68,95,97],"testing":[13],"skills.":[14,22],"There":[15],"exist":[16],"different":[17,39],"approaches":[18],"to":[19,44,56,60,76,117],"teaching":[20],"these":[21,72],"Recent":[23],"research":[24],"by":[25],"the":[26,64,98,107,112],"Dutch":[27],"Open":[28],"University":[29],"proposed":[30],"Procedural":[32],"Guidance,":[33],"which":[34],"provides":[35],"timely":[36],"guidance":[37],"through":[38,89],"views":[40,50],"students":[41,88],"can":[42],"use":[43,51],"write":[45],"code":[46],"tests.":[48],"These":[49],"JML-influenced":[53],"annotation":[54],"language":[55],"attach":[57],"specific":[58],"information":[59],"each":[61],"part":[62],"of":[63,71,100,114],"code.":[65],"The":[66],"management":[67],"correct":[69],"usage":[70],"annotations":[73],"has":[74],"shown":[75],"be":[77],"cumbersome.":[78],"In":[79],"this":[80],"paper,":[81],"we":[82],"present":[83],"tool":[85,108],"that":[86],"aids":[87],"highlighted":[90],"annotations,":[91],"view-specific":[92],"information,":[93],"warnings":[94],"errors,":[96],"generation":[99],"test":[101],"cases.":[102],"To":[103],"maximize":[104],"its":[105],"usability,":[106],"distributed":[110],"in":[111],"form":[113],"an":[115],"add-on":[116],"popular":[119],"development":[120],"environment.":[121]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}