Automatic generation and maintenance of correct spreadsheets.

被引:0
|
作者
Erwig, M [1 ]
Abraham, R [1 ]
Cooperstein, I [1 ]
Kollmansberger, S [1 ]
机构
[1] Oregon State Univ, Sch EECS, Corvallis, OR 97331 USA
来源
ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2005年
关键词
spreadsheet; template; program generation; error prevention; type system; end-user software engineering;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by restricting spreadsheet updates to only those that are logically and technically correct. The system is based on the concept of templates that describe the principal structure of the initial spreadsheet and all of its future versions. We have developed a program generator that translates a template into an initial spreadsheet together with customized update operations for changing cells and inserting/deleting rows and columns for this particular template. We have designed a type system for templates that ensures the following form of "spreadsheet maintenance safety": Update operations that are generated from a type-correct template are proved to transform the spreadsheet only according to the template and to never produce any omission, reference, or type errors. Finally, we have developed a prototype as an extension to Excel, which has been shown by a preliminary usability study to be well accepted by end users.
引用
收藏
页码:136 / 145
页数:10
相关论文
共 50 条
  • [21] Automatic detection of dimension errors in spreadsheets
    Chambers, Chris
    Erwig, Martin
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2009, 20 (04): : 269 - 283
  • [22] Towards semi-automatic generation of provably correct algorithmic programs
    Shi, Haihe
    Xue, Jinyun
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 952 - +
  • [23] AUTOMATIC-GENERATION OF PRODUCTION RULES FOR INTEGRITY MAINTENANCE
    CERI, S
    FRATERNALI, P
    PARABOSCHI, S
    TANCA, L
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1994, 19 (03): : 367 - 422
  • [24] DATA GENERATION AND ANALYSIS USING SPREADSHEETS
    EAMON, DB
    BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1992, 24 (02): : 174 - 179
  • [25] Automated test case generation for spreadsheets
    Fisher, M
    Cao, MM
    Rothermel, G
    Cook, CR
    Burnett, MM
    ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 141 - 151
  • [26] Correct Modeling for Maintenance Scheduling
    Zarei, Mohammad
    26TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE 2018), 2018, : 1356 - 1361
  • [27] MAINTENANCE OF CORRECT EJECTION POSTURE
    BARWOOD, AJ
    AEROSPACE MEDICINE, 1963, 34 (07): : 618 - &
  • [28] Quick Correct: A Method to Automatically Evaluate Student Work in MS Excel Spreadsheets
    Wetzel, Laura R.
    Whicker, Peter J.
    SPREADSHEETS IN EDUCATION, 2007, 2 (03):
  • [29] Development of Automatic Generation of Maintenance Worker Schedule Using Tabu Search
    Kokubo, Tatsuya
    Kato, Satoshi
    Nakahigashi, Taichi
    Quarterly Report of RTRI (Railway Technical Research Institute), 2024, 65 (03) : 170 - 175
  • [30] AUTOMATIC MAINTENANCE
    SHATTOW, M
    DATAMATION, 1990, 36 (09): : 14 - 14