Embedding formal knowledge models in active documents
Communications of the ACM
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
The Mathematica Book
Header and Unit Inference for Spreadsheets Through Spatial Analyses
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Inferring templates from spreadsheets
Proceedings of the 28th international conference on Software engineering
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
The provenance of electronic data
Communications of the ACM - The psychology of security: why do good users make bad decisions?
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
Semantic annotation for knowledge management: Requirements and a survey of the state of the art
Web Semantics: Science, Services and Agents on the World Wide Web
Capturing the content of physics: systems, observables, and experiments
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
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
Towards user assistance for documents via interactional semantic technology
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Semantic Alliance: a framework for semantic allies
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In this paper we show that spreadsheets are interesting applications for MKM techniques which can alleviate usability and maintenance problems as spreadsheet-based applications grow evermore complex and long-lived. We present the software and information architecture of a semantic enhancement of MS Excel spreadsheets that aims at compensating the computational bias in spreadsheets.