Visual specifications of correct spreadsheets

被引：29

作者：

Abraham, R ^{[1
]}

Erwig, M ^{[1
]}

Kollmansberger, S ^{[1
]}

Seifert, E ^{[1
]}

机构：

[1] Oregon State Univ, Sch EECS, Corvallis, OR 97331 USA

来源：

2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/VLHCC.2005.70

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We introduce a visual specification language for spreadsheets that allows the definition of spreadsheet templates. A spreadsheet generator can automatically create Excel spreadsheets from these templates together with customized update operations. It can be shown that spreadsheets created in this way are free from a large class of errors, such as reference, omission, and type errors. We present a formal definition of the visual language for templates and describe the process of generating spreadsheets from templates. In addition, we present an editor for templates and analyze the editor using the Cognitive Dimensions framework.

引用

页码：189 / 196

页数：8

共 14 条

[1] Header and unit inference for spreadsheets through spatial analyses [J].

Abraham, R ;

Erwig, M .

2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, :165-172

[2]

Ahmad Y, 2003, 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, P174

[3]

[Anonymous], 2003, HCI MODELS THEORIES

[4] End-user software engineering with assertions in the spreadsheet paradigm [J].

Burnett, M ;

Cook, C ;

Pendse, O ;

Rothermel, G ;

Summet, J ;

Wallace, C .

25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, :93-103

[5]

Clarke S, 2001, 13 WORKSH PSYCH PROG, P275

[6]

COX K, 2000, 1I PSYCH PROGR INT G, P99

[7]

DITLEA S, 1987, PERS COMPUT, V11, P60

[8]

Erwig M, 2005, PROC INT CONF SOFTW, P136

[9]

ERWIG M, 2004, TR046011 OR STAT U

[10]

Erwig M, 2002, P 4 INT S PRACTICAL, P173

← 1 2 →