mirage

Browsing by Author "Erwig, Martin"

DSpace/Manakin Repository

Browsing by Author "Erwig, Martin"

Sort by: Order: Results:

  • Adaptation-based programming 
    Bauer, Tim (Timothy R.) (2013-01-31)
    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 pro ...
  • Automatic program generation for scientific computing 
    Fu, Zhe (2006-08-02)
    The code reuse problem is a common software engineering problem in scientific computing. As a prevailing programming language in many scientific fields, Fortran does not provide support to address this problem. One par ...
  • Compiling generic mathematical tool descriptions into Fortran 
    Oregon State University. Dept. of Computer Science; Erwig, Martin; Fu, Zhe (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    We describe the design of a domain-specific language (DSL) for the specification of generic ocean modeling tools, and we describe the implementation of its compiler. The goal of the DSL is to allow the specification of ...
  • Detecting bad smells in spreadsheets 
    Asavametha, Atipol (2012-06-15)
    Spreadsheets are a widely used end-user programming tool. Field audits have found that 80-90% of spreadsheets created by end users contain textual and formula errors in spreadsheets. Such errors may have severe negative ...
  • Dimension checking tools for spreadsheets 
    Chambers, Chris (Christopher Willie) (2011-03-31)
    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 spreadshe ...
  • A domain-specific embedded language for probabilistic programming 
    Kollmansberger, Steven (2005-12-19)
    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 in ...
  • Domain-specific language support for experimental game theory 
    Walkingshaw, Eric (2011-12-20)
    Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult ...
  • End-user software engineering in the spreadsheet paradigm 
    Abraham, Robin (2007-05-18)
    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 ...
  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell 
    Strauss, Paul J. (2009-06-08)
    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 t ...
  • FoXQ : a visual query language for XML 
    Abraham, Robin (2003-09-26)
    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 game ...
  • Gencel : a program generator for correct spreadsheets 
    Oregon State University. Dept. of Computer Science; Erwig, Martin; Abraham, Robin; Cooperstein, Irene; Kollmansberger, Steven (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2004-12-21)
    A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (functional) programs, few formal models o ...
  • Information foraging in debugging 
    Lawrance, Joseph A. (2009-07-09)
    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, t ...
  • Monadification of functional programs 
    Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    The structure of monadic functional programs allows the integration of many different features into such programs by just changing the definition of the monad and not the program, which is a desirable feature from a soft ...
  • Mutation testing of spreadsheets 
    Oregon State University. School of Electrical Engineering and Computer Science; Abraham, Robin; Erwig, Martin (Corvallis, OR : Oregon State University, School of Electrical Engineering and Computer Science, 2006-08-01)
    We present a catalog of mutation operators for spreadsheets drawn from research into mutation testing for general purpose programming languages and from spreadsheet errors that have been reported in literature. These ope ...
  • Pair testing : comparing Windows Exploratory Testing in pairs with testing alone 
    Lischner, Ray (2001-05-31)
    Windows Exploratory Testing (WET) is examined to determine whether testers working in pairs produce higher quality results, are more productive, or exhibit greater confidence and job satisfaction than testers working a ...
  • Structured representation of composite software changes 
    Chabra, Aarti (2011-12-13)
    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 collaborat ...
  • Systematic Evolution of Model-Based Spreadsheet Applications 
    Luckey, Markus; Erwig, Martin; Engels, Gregor (Elsevier, 2012-10)
    Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications, although they have one critical drawback ...
  • Type-correct changes — a safe approach to version control implementation 
    Dagit, Jason (2009-03-20)
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs ...
  • An update calculus for expressing type-safe program updates 
    Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)
    Many software maintenance problems are caused by using text editors to change programs. A more systematic and reliable way of performing program updates is to express changes with an update language. In particular, up ...
  • Update programming -- a safe approach to software maintenance 
    Ren, Deling (2006-09-25)
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, prog ...

Search ScholarsArchive@OSU

Browse

My Account