Title
Evaluation of Formal Reasoning Abilities Using a Concept Inventory.
Abstract
To understand, assess, and improve student abilities to perform ana- lytical reasoning about the correctness of object-based software they build, we have developed a two-part reasoning concept inventory. The inventory is a col- lection of multiple choice questions. The inventory makes use of a minimal set of formal notations to model and present operations on objects. The inventory has been administered in two required courses for CS majors at Clemson, and will be offered again this semester. An analysis of results helps clarify what concepts were well understood and where instructional improvements are need- ed. Furthermore, since the questions are multiple choice, wrong answers also provide useful information.
Year
Venue
Field
2015
FMSEE&T@FM
Formal reasoning,Notation,Computer science,Correctness,Software,Concept inventory,Management science,Multiple choice
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
7
2
Name
Order
Citations
PageRank
Joseph E. Hollingsworth100.34
Murali Sitaraman227040.99