Results 1 - 5 of 5

End-User Software Engineering with Assertions in the Spreadsheet Paradigm

by Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Chris Wallace - In International Conference on Software Engineering , 2003
"... 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 cont ..."
Abstract - Cited by 41 (24 self) - Add to MetaCart
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.
(Show Context)

End-User Software Engineering with Assertions

by Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet - In International Conference on Software Engineering , 2002
"... 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 cont ..."
Abstract - Cited by 24 (6 self) - Add to MetaCart
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.

Scaling up an end-user dependability framework for spreadsheets

by Tyler Creelan, Marc Fisher Ii , 2004
"... Permission is hereby granted, free of charge, to any person obtaining a copy of this document, to ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
Permission is hereby granted, free of charge, to any person obtaining a copy of this document, to
(Show Context)

IT Project Course – TDA475 Written by:

by Staffan Gustavsson, Fredrik Johansson, Malin Johansson, Sebastian Kekkonen, Björn Lanneskog, Lars Magnus Lång, Sofia Nilsson, Peter Palotas, Einar Pehrson, Jens Schou
"... ..."
Abstract - Add to MetaCart
Abstract not found
(Show Context)

Acknowledgments

by Tyler Creelan , 2004
"... I would like to thank Margaret Burnett and my major professor Gregg Rothermel for advice and guidance. I would also like to thank members of the Forms/3 Visual Programming Team at Oregon State University for help and contributions to this project. Specifically, Marc Fisher directed design of the use ..."
Abstract - Add to MetaCart
I would like to thank Margaret Burnett and my major professor Gregg Rothermel for advice and guidance. I would also like to thank members of the Forms/3 Visual Programming Team at Oregon State University for help and contributions to this project. Specifically, Marc Fisher directed design of the user interface for regions and test case generation (Section 5), wrote an initial formula grammar for Excel (Section 11.2) and implemented the testedness progress bar (Section 7.6.1). Andrew Christmann designed the transcripting system of Section 7.9, and together with Aye Thuzar implemented the arrows interface of Section 7.7. Amit Phalgune initially implemented the fault localization overview bar of Section 7.6.2, and together with Shreenivasar Prabhakararao laid the groundwork for the Explanations system of Section 7.8. Additionally, I would like to thank Maggie Byrkit, Robin Abraham, and Mark Johnson of Brown University for his Lisp parser generator. Copyright (c) 2004 Tyler F. Creelan Permission is hereby granted, free of charge, to any person obtaining a copy of this document, to deal in the document without restriction, including the rights to copy, modify, publish, distribute, and/or sell copies, provided the above copyright notice is included in all copies.
(Show Context)