Search Constraints

Start Over
Filtering by: Creator Main, Martin Remove constraint Creator: Main, Martin Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • 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

  • A visual XML query interface

    Creator:
    Zhao, Shiwei
    Abstract:
    As XML becomes more and more popular, easy-to-use and powerful XML query languages are in great need. Xing is a visual query and restructuring language for XML documents. The objective of this project is to develop a basic version of Xing, including a user-oriented XML query interface and a simple...
    Resource Type:
    Capstone Project
    Full Text:
    Interface Abstract approved: _______________________ _ Martin Erwig As XML becomes more and more

  • FoXQ : a visual query language for XML

    Creator:
    Abraham, Robin
    Abstract:
    XML is a very versatile data format that has been used to represent many different kinds of data, including web pages, books, business and accounting data, programming interfaces, vector graphics, system logs, and games. In a short span of time, it has gained wide acceptance as the document and data...
    Resource Type:
    Masters Thesis
    Full Text:
    . Title: FoXQ: A Visual Query Language for XML Abstract approved: Dr. Martin Erwig XML is a very

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation
    Full Text:
    Calculus: A Formal Language of Variation Abstract approved: Martin Erwig In this thesis I present the

  • 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

  • #ifdef Confirmed Harmful - Promoting Understandable Software Variation

    Creator:
    Le, Duc
    Abstract:
    Maintaining variation in software is a difficult problem that poses serious challenges for the understanding and editing of software artifacts. Although the C preprocessor (CPP) is often the default tool used to introduce variability to software, because of its simplicity and flexibility, it is infamous for its obtrusive syntax and...
    Resource Type:
    Capstone Project
    Full Text:
    Harmful - Promoting Understandable Software Variation Abstract approved: Martin Erwig Maintaining

  • KeyQuery : improving the preciseness of search engines by automatic translation of keywords into structured queries

    Creator:
    He, Jianglin
    Abstract:
    We demonstrate an approach to transform keyword queries automatically into queries that combine keywords appropriately by boolean operations, such as and and or. Most current search engines will preprocess the queries before they really use these queries to search locally stored files or web pages. However, the search engines usually...
    Resource Type:
    Capstone Project
    Full Text:
    approved: ________________________ _ Martin Erwig We demonstrate an approach to transform keyword

  • 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

  • A Language for Querying Source Code Repositories

    Creator:
    Kumar, Deepthi S.
    Abstract:
    The history of a software project plays a vital role in the software development process. Version control systems enable users of a software repository to look at the evolution of the source code, and see the changes that led to newer versions. Currently, version control systems provide commands that can...
    Resource Type:
    Masters Thesis
    Full Text:
    Querying Source Code Repositories Abstract approved: Martin Erwig The history of a software project

  • Spreadsheet Explanation Through Table Abstraction

    Creator:
    Dan, Mihai
    Abstract:
    Spreadsheets are a pervasive technology throughout personal and industrial use. Often times, the user is not the author, contributing to a lack of understanding of the purpose and functionality of a spreadsheet. Furthermore, the lack of understanding is a major reason for mistakes in the use and maintenance of spreadsheets....
    Resource Type:
    Masters Thesis
    Full Text:
    Through Table Abstraction Abstract approved: Martin Erwig Spreadsheets are a pervasive technology