Search Constraints

Start Over
Filtering by: Subject Debugging in computer science Remove constraint Subject: Debugging in computer science Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Interactive fault localization techniques to empower the debugging efforts of end-user programmers

    Creator:
    Ruthruff, Joseph Ronald
    Abstract:
    End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spreadsheet environments. Despite this, there has been only a little research on finding ways to help these programmers with the dependability of the software they create....
    Resource Type:
    Masters Thesis
    Full Text:
    degree of Master of Sciencein Computer Science presented on July 23, 2004. Title: Interactive Fault

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    ABSTRACT OF THE DISSERTATION OF Sheng Chen for the degree of Doctor of Philosophy in Computer Science

  • Effectiveness of integration of internet technologies in support of teaching and learning computer science programming

    Creator:
    Hajebi, Mojgan
    Abstract:
    In spite of wide spread adoption of the internet technology in teaching and learning, little research exists on the use and the effect of web incorporation in teaching and learning. Immediate clarification of how, when, and for whom the web integration in education is beneficial is needed. This qualitative study...
    Resource Type:
    Dissertation
    Full Text:
    : Effectiveness of Integration of Internet Technologies in Support of Teaching and Learning Computer Science