A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Analyses of factors related to positive test bias in software testing
International Journal of Human-Computer Studies
Does continuous visual feedback aid debugging in direct-manipulation programming systems?
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
What we know about spreadsheet errors
Journal of End User Computing - End User Development
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Helping people find what they don't know
Communications of the ACM
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Studying the language and structure in non-programmers' solutions to programming problems
International Journal of Human-Computer Studies
Outlier finding: focusing user attention on possible errors
Proceedings of the 14th annual ACM symposium on User interface software and technology
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Semantic anomaly detection in online data sources
Proceedings of the 24th International Conference on Software Engineering
Computer
Harnessing curiosity to increase correctness in end-user programming
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Concurrent Runtime Checking of Annotated Ada Programs
Proceedings of the Sixth Conference on Foundations of Software Technology and Theoretical Computer Science
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Assertions in End-User Software Engineering: A Think-Aloud Study
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
A debugger and assertion checker for the Awk programming language
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Natural-Language Processing Support for Developing Policy-Governed Software Systems
TOOLS '01 Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39)
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Impact of interruption style on end-user debugging
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
End users creating effective software
CHI '04 Extended Abstracts on Human Factors in Computing Systems
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
An experimental evaluation of continuous testing during development
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Communications of the ACM - End-user development: tools that empower users to create their own software solutions
An explanation-based, visual debugger for one-way constraints
Proceedings of the 17th annual ACM symposium on User interface software and technology
End users creating effective software
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Automatic generation and maintenance of correct spreadsheets
Proceedings of the 27th international conference on Software engineering
The first workshop on end-user software engineering
Proceedings of the 27th international conference on Software engineering
WEUSE I Proceedings of the first workshop on End-user software engineering
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Inferring templates from spreadsheets
Proceedings of the 28th international conference on Software engineering
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Graphic designers who program as informal computer science learners
Proceedings of the second international workshop on Computing education research
An empirical evaluation of a testing and debugging methodology for Excel
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
Visual representations of executing programs
Journal of Visual Languages and Computing
Model-Driven Quality Assurance for End Users
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Topes: reusable abstractions for validating data
Proceedings of the 30th international conference on Software engineering
Using topes to validate and reformat data in end-user programming tools
Proceedings of the 4th international workshop on End-user software engineering
Design planning by end-user web developers
Journal of Visual Languages and Computing
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
Using assertions to help end-user programmers create dependable web macros
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Demonstration of Software Components for End-User Development
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Fixing the program my computer learned: barriers for end users, challenges for the machine
Proceedings of the 14th international conference on Intelligent user interfaces
Fast, Accurate Creation of Data Validation Formats by End-User Developers
IS-EUD '09 Proceedings of the 2nd International Symposium on End-User Development
Unit Testing for Domain-Specific Languages
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Impact of high-intensity negotiated-style interruptions on end-user debugging
Journal of Visual Languages and Computing
Interactive, visual fault localization support for end-user programmers
Journal of Visual Languages and Computing
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
Supporting the cooperation of end-user programmers through social development environments
Proceedings of the 2nd International Workshop on Web 2.0 for Software Engineering
Refactoring pipe-like mashups for end-user programmers
Proceedings of the 33rd International Conference on Software Engineering
End-user programming of web-native interactive applications
Proceedings of the 12th International Conference on Computer Systems and Technologies
Why-oriented end-user debugging of naive Bayes text classification
ACM Transactions on Interactive Intelligent Systems (TiiS)
End-user debugging strategies: A sensemaking perspective
ACM Transactions on Computer-Human Interaction (TOCHI)
A pragmatic approach to spreadsheet training based upon the “projection–screen” model
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the empirical evaluation of fault localization techniques for spreadsheets
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A web-centred approach to end-user software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Improving spreadsheet test practices
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Hi-index | 0.00 |
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.