Search Constraints

Start Over
Filtering by: Creator Wagner, Tim A. Remove constraint Creator: Wagner, Tim A. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    January 31, 2013 All Rights Reserved Adaptation-Based Programming by Tim Bauer A

  • How well do professional developers test with code coverage visualizations? : an empirical study

    Creator:
    Lawrance, Joseph A.
    Abstract:
    Professional software developers do not test code adequately, even though testing tools are widely available. Until developers realize the deficiencies in their tests, inadequate testing of software seems likely to remain a major problem. To support developers writing tests, industry and researchers have proposed systems that visualize “testedness” for end-user...
    Resource Type:
    Masters Thesis
    Full Text:
    AN ABSTRACT OF THE THESIS OF Joseph A. Lawrance for the degree of

  • Dimension checking tools for spreadsheets

    Creator:
    Chambers, Chris (Christopher Willie)
    Abstract:
    We present the evolution of a reasoning system for inferring dimension information in spreadsheets. The three papers included in this thesis show how the initial system can be used to check the consistency of spreadsheet formulas and thus is able to detect errors in spreadsheets, and the evolution to a...
    Resource Type:
    Masters Thesis
    Full Text:
    for Spreadsheets Abstract approved: Martin Erwig We present the evolution of a reasoning system for

  • Information foraging in debugging

    Creator:
    Lawrance, Joseph A.
    Abstract:
    Programmers spend a substantial fraction of their debugging time by navigating through source code, yet little is known about how programmers navigate. With the continuing growth in size and complexity of software, this fraction of time is likely to increase, which presents challenges to those seeking both to understand and...
    Resource Type:
    Dissertation
    Full Text:
    spend a substantial fraction of their debugging time by navigating through source code, yet little is

  • Gender HCI issues in end-user programming

    Creator:
    Beckwith, Laura A.
    Abstract:
    Until recently, research has not considered whether the design of end-user programming environments, such as spreadsheets, multimedia authoring languages, and CAD systems, affects males and females differently. As a result, we began investigating how the two genders are impacted by end-user programming software and whether attention to gender differences is...
    Resource Type:
    Dissertation
    Full Text:
    ABSTRACT IN THE DISSERATION OF Laura A. Beckwith for the degree of Doctor of Philosophy in Computer

  • 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:
    : Executable Semantics for PLEXIL: Simulating a Task-Scheduling Language in Haskell Abstract approved

  • 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

  • End-user software engineering in the spreadsheet paradigm

    Creator:
    Abraham, Robin
    Abstract:
    Spreadsheets are among the most widely used end-user programming systems. Unfortunately, there is a high incidence of errors in end-user spreadsheets, and some of these errors have high impact. In this dissertation, we describe techniques we have developed to help end users develop safer spreadsheets. As part of our research,...
    Resource Type:
    Dissertation
    Full Text:
    widely used end-user programming systems. Unfortunately, there is a high incidence of errors in end-user

  • Efficient Oblivious Access to Trees

    Creator:
    Hackebeil, Gabriel A.
    Abstract:
    The outsourcing of data storage and related infrastructure to third-party services in the cloud is a trend that has gained considerable momentum in the last decade due to the savings it affords companies in both capital and operational costs. Although encryption can alleviate some of the privacy concerns associated with...
    Resource Type:
    Masters Thesis
    Full Text:
    , Wagner, and Perrig first introduced Symmetric Searchable Encryption (SSE) in 2001 [42]. SSE provides a

  • Rapid Grid State Estimation using Singular Value Decomposition

    Creator:
    Kulkarni, Janhavi
    Abstract:
    Synchrophasor technology has gained great momentum with the widely adopted concept of smart grids in power systems at transmission and generation level. This has led to an improved state estimation of a power system with the advent of Phasor Measurement Units (PMU). PMUs contribute in providing real-time information about the...
    Resource Type:
    Masters Thesis
    Full Text:
    approved: _____________________________________________________________________ Ted K. A