Toward a logical/physical theory of spreadsheet modeling
ACM Transactions on Information Systems (TOIS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Proceedings of the 22nd international conference on Software engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Quality Control in Spreadsheets: A Software Engineering-Based Approach to Spreadsheet Development
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 4 - Volume 4
Finding High-Level Structures in Spreadsheet Programs
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Automatic generation and maintenance of correct spreadsheets
Proceedings of the 27th international conference on Software engineering
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
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
Transformation techniques in the model-driven development process of UWE
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
A UML 2.0 profile for WebML modeling
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Applying code inspection to spreadsheet testing
Journal of Management Information Systems - Special section: Strategic and competitive information systems
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Metamodel-based tool integration with moflon
Proceedings of the 30th international conference on Software engineering
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Hi-index | 0.00 |
Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications, although they have one critical drawback-spreadsheets are very error-prone. Recent research has developed methods to reduce this error-proneness by introducing a new way of object-oriented modeling of spreadsheets before using them. These spreadsheet models, termed ClassSheets, are used to generate concrete spreadsheets on the instance level. By this approach sources of errors are reduced and spreadsheet applications become easier to understand. As usual for almost every other application, requirements on spreadsheets change due to the changing environment. Thus, the problem of evolution of spreadsheets arises. The update and evolution of spreadsheets is the uttermost source of errors that may have severe impact. In this paper, we will introduce a model-based approach to spreadsheet evolution by propagating updates on spreadsheet models (i.e. ClassSheets) to spreadsheets. To this end, update commands for the ClassSheet layer are automatically transformed to those for the spreadsheet layer. We describe spreadsheet model update propagation using a formal framework and present an integrated tool suite that allows the easy creation and safe update of spreadsheet models. The presented approach greatly contributes to the problem of software evolution and maintenance for spreadsheets and thus avoids many errors that might have severe impacts.