Search Constraints

Start Over
Filtering by: Contributor Martin, Jennifer Remove constraint Contributor: Martin, Jennifer Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Structuring Teachable Knowledge through Program-Concept Classifications

    Creator:
    Wilson, Benjamin F.
    Abstract:
    Teaching CS is a challenging task, especially for those without prior programming experience. Even for veteran educators, having to learn CS concepts while also trying to teach those same concepts is difficult; as is the case for many K-12 CS instructors. Unfortunately, there is often no formalized order with CS...
    Resource Type:
    Masters Thesis
    Full Text:
    : Structuring Teachable Knowledge through Program-Concept Classifications Abstract approved: Martin Erwig

  • Tracr - Visual Interface for Generating Explanations

    Creator:
    Barnes, Jack
    Abstract:
    Tracr is a modern browser-based user interface, designed to be used with languages that can generate customized explanations from execution traces. While Tracr is primarily designed for use with the Xtra language, Tracr defines a generalized interface that would allow it to be used with other languages as well. Explanations...
    Resource Type:
    Capstone Project
    Full Text:
    - Visual Interface for Generating Explanations Abstract approved: Martin Erwig Tracr is a modern browser

  • Guided Translation of Algorithmic Notation into Functional Programs

    Creator:
    Fedorin, Danila
    Abstract:
    The use of board games for teaching introductory computer science is a promising recent avenue of research. The goal is to introduce computing concepts through their use in the implementations of simple games, thereby keeping students engaged through their learning process. However, there is a gap between students' algorithmic descriptions...
    Resource Type:
    Masters Thesis
    Full Text:
    Algorithmic Notation into Functional Programs Abstract approved: Martin Erwig The use of board games for

  • A Study on the Effect of Non-Traditional Demographic Populations in an Undergraduate Computer Science Course

    Creator:
    Kawell, Christopher L.
    Abstract:
    There is a significant amount of research analyzing the effect of race, gender, and other common demographical data on student interest and performance in computer science. However, there is relatively little research concerning less common demographic populations, such as introverts, artistic students, and visual learners. This study investigates if these...
    Resource Type:
    Masters Thesis
    Full Text:
    : ______________________________________________________ Jennifer Parham-Mocello There is a significant amount of research analyzing the effect

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Visual Traces for Program Explanations Abstract approved: Martin Erwig Correctness and efficiency are

  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

    Creator:
    Strauss, Paul J.
    Abstract:
    An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...
    Resource Type:
    Masters Thesis
    Full Text:
    : Martin Erwig An interdisciplinary study into the theory of design decisions has yielded a model for

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    Composite Software Changes Abstract approved: Martin Erwig In a software development cycle, programs go

  • The ChildsPlay Approach: Evaluating an Experimental Approach for Teaching Introductory CS at University

    Creator:
    Nelson, Aiden J.
    Abstract:
    University students first learning about computer science (CS) can be intimidated and frustrated by programming. In addition, the general-purpose programming languages chosen for introducing students to programming contain several features that have the potential to overwhelm and distract them from focused curriculum topics, which can lead to reduced retention of...
    Resource Type:
    Masters Thesis
    Full Text:
    approved: Jennifer Parham-Mocello University students first learning about computer science (CS) can be

  • Computing Resource Usage as a Factor of Student Success

    Creator:
    Moissinac, Béatrice
    Abstract:
    Learning Analytics and other branches of Educational Research such as Computing Education Research (CER) implicitly assume that students, especially college students, have no barriers to access learning platforms or software packages. This assumption may be attributed to such pervasive beliefs such as "everyone has a device", or "everyone can access...
    Resource Type:
    Dissertation
    Full Text:
    : Computing Resource Usage as a Factor of Student Success Abstract approved: Jennifer Parham-Mocello Robin B

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project