End-user software engineering with assertions in the spreadsheet paradigm

被引：67

作者：

Burnett, M ^{[1
]}

Cook, C ^{[1
]}

Pendse, O ^{[1
]}

Rothermel, G ^{[1
]}

Summet, J ^{[1
]}

Wallace, C ^{[1
]}

机构：

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

来源：

25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2003年

关键词：

D O I：

10.1109/ICSE.2003.1201191

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program development may be critical, however, because research shows that a large proportion of the programs written by end users contain faults. Toward this end, we have been working on ways to provide formal "software engineering" methodologies to end-user programmers. This paper describes an approach We have developed for supporting assertions in end-user software, focusing on the spreadsheet paradigm. We also report the results of a controlled experiment, with 59 end-user subjects, to investigate the usefulness of this approach. Our results show that the end users were able to use the assertions to reason about their spreadsheets, and that doing so was tied to both greater correctness and greater efficiency.

引用

页码：93 / 103

页数：11

共 31 条

[1]

ALLWOOD CM, 1984, COGNITIVE SCI, V8, P413, DOI 10.1207/s15516709cog0804_5

[2]

AUGUSTON M, 1996, INT C SOFT ENG

[3] Reasoning about many-to-many requirement relationships in spreadsheets [J].

Beckwith, L ;

Burnett, M ;

Cook, C .

IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, :149-157

[4] Helping people find what they don't know -: Recommendation systems help users find the correct words for a successful search. [J].

Belkin, NJ .

COMMUNICATIONS OF THE ACM, 2000, 43 (08) :58-61

[5] Gaining intellectual control of software development [J].

Boehm, B ;

Basili, VR .

COMPUTER, 2000, 33 (05) :27-+

[6] Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm [J].

Burnett, M ;

Atwood, J ;

Djang, RW ;

Reichwein, J ;

Gottfried, H ;

Yang, S .

JOURNAL OF FUNCTIONAL PROGRAMMING, 2001, 11 :155-206

[7]

COOK C, 2001, 9960007 OR STAT U

[8]

CORRITORE C, 2001, HCI INT, V1, P1548

[9]

Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031

[10]

Ernst M. D., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P213, DOI 10.1109/ICSE.1999.841011

← 1 2 3 4 →