mirage   mirage   mirage

Browsing Technical Reports (Electrical Engineering and Computer Science) by Subject "Electronic spreadsheets -- Computer programs"

DSpace/Manakin Repository

Browsing Technical Reports (Electrical Engineering and Computer Science) by Subject "Electronic spreadsheets -- Computer programs"

Sort by: Order: Results:

  • 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 ...
  • Oregon State University. Dept. of Computer Science; Creelan, Tyler; Fisher, Marc Randall (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2004-08-17)
    The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. Ho ...

Search ScholarsArchive@OSU


Advanced Search

Browse

My Account

Statistics