Search Constraints

Start Over
Filtering by: Subject Programming languages (Electronic computers) -- Standards Remove constraint Subject: Programming languages (Electronic computers) -- Standards Decade 2000-2009 Remove constraint Decade: 2000-2009

Search Results

  • First order conditional influence language

    Creator:
    Oregon State University. Dept. of Computer Science, Natarajan, Sriraam, and Altendorf, Eric E.
    Resource Type:
    Research Paper

  • Empirical studies of a spreadsheet maintenance experiment

    Creator:
    Krishna, Vijay B.
    Abstract:
    Spreadsheet language programs, which include commercial spreadsheets, are among the most common form of software in use today. Unlike more "traditional" forms of software however, spreadsheet language programs are created and maintained by end-users with little or no programming experience. As a result, a high percentage of these programs contain...
    Resource Type:
    Masters Thesis
    Full Text:
    ABSTRACT OF THE THESIS OF Vijay B. Krishna for the degree of Master of Science m Computer Science

  • bBlocks : a flexible object oriented microarchitecture simulation framework

    Creator:
    Hua, Ying
    Abstract:
    This research develops an object-oriented approach of modeling microprocessor architecture. A generic modeling library, bBlocks, is proposed as a framework for constructing microprocessor simulation. bBlocks is a collection of predefined abstract components (blocks) implemented in Java, the object-oriented programming language. Blocks are defined and used as the basic components in...
    Resource Type:
    Masters Thesis
    Full Text:
    features from all previous ones [12]. For example, while C++ was just a programming language, Java, with

  • Automatic test case generation for spreadsheets

    Creator:
    Cao, Mingming
    Abstract:
    Test case generation in software testing is a process of developing a set of test data that satisfies a particular test adequacy criterion. It is desirable to automate this process since doing it manually is not only technically difficult but also tedious and time-consuming. Although there has been considerable research...
    Resource Type:
    Masters Thesis
    Full Text:
    OF THE THESIS OF Mingming Cao for the degree of Master of Science in Computer Science presented on

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Language for Probabilistic Programming Abstract approved: Martin Erwig Functional programming is

  • 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:
    do-notation to compose tasks together in a style similar to imperative programming. The language

  • Extensions to the WYSIWYT methodology

    Creator:
    Ren, Bing
    Abstract:
    Researchers in the Forms/3 group have previously developed the WYSIWYT methodology, exploring a way of systematically testing spreadsheet languages. The previous work presented the WYSIWYT methodology for individual spreadsheet cells, and later partially extended it to large grids in which some cells share the same formula. The Forms/3 spreadsheet language...
    Resource Type:
    Masters Thesis
    Full Text:
    Science in Computer Science presented on June 11, 2001. Title: Extensions to the WYSIWYT Methodolov

  • Generalizing WYSIWYT for use in the screen transition paradigm

    Creator:
    Brown, Darren
    Abstract:
    How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those languages - even when the audience has no background in software engineering? Visual programs are likely to contain at least...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on May 13, 2003. Title: Generalizing WYSIWYT For Use in

  • End-user assertions : propagating their implications

    Creator:
    Summet, Jay W.
    Abstract:
    Spreadsheet languages are the most commonly used end-user programming paradigm, yet spreadsheets commonly contain errors. Research shows that a significant number of spreadsheets (20%-40%) created by end users contain errors. In an attempt to reduce this error rate, this work presents an assertion propagation system for an end-user spreadsheet programming...
    Resource Type:
    Masters Thesis
    Full Text:
    spreadsheet programming language, along with proofs of correctness, and complexity analysis. In addition to

  • Visual specifications of correct spreadsheets

    Creator:
    Oregon State University. Dept. of Computer Science, Abraham, Robin, Erwig, Martin, Kollmansberger, Steven, and Seifert, Ethan
    Abstract:
    We introduce a visual specification language for spreadsheets that allows the definition of spreadsheet templates. These templates are used by a spreadsheet generator to create Excel spreadsheets that are probably free from a large class of errors, such as reference, omission, and type errors. We demonstrate how spreadsheets can be...
    Resource Type:
    Research Paper
    Full Text:
    by a number of features found in other programming languages. The language contains many experimental