Compensating the computational bias of spreadsheets with MKM techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5625 LNAI, Issue , 2009, Pages 357-372

  Kohlhase, Andrea ^a   Kohlhase, Michael ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECT APPROACH; FINANCIAL FORECASTING; INFORMATION ARCHITECTURES; MAINTENANCE PROBLEM; MS EXCEL;

KNOWLEDGE MANAGEMENT; SOFTWARE ARCHITECTURE;

SPREADSHEETS;

EID: 69049108827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02614-0_29     Document Type: Conference Paper

References (24)

1. Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium (2003)
2. Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analysis. In: IEEE International Symposium on Visual Languages and Human-Centric Computing, pp. 165-172 (2004)
3. Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 182-191. ACM, New York (2006)
4. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004)
5. Burnett, M.M., Sheretov, A., Ren, B., Rothermel, G.: Testing homogenous spreadsheet grids with the "what you see is what you test" methodology. IEEE Transactions on Software Engineering 29(6), 576-594 (2002)
6. CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.) CASL Reference Manual. LNCS (IFIP Series), vol. 2960. Springer, Heidelberg (2004)
7. th IEEE/ACM International Conference on Automated Seofware Engineering, pp. 124-155. IEEE Computer Society, Los Alamitos (2005)
8. Fensel, D.: Foreword. In: Hepp, M., De Leenheer, P., de Moor, A., Sure, Y. (eds.) Ontology Management: Semantic Web, Semantic Web Services, and Business Applications, Semantic Web and beyond: Computing for Human Experience, pp. 9-11. Springer, Heidelberg (2008)
9. Gaines, B.R., Shaw, M.L.G.: Enbedding formal knowledge models in active documents; creating problem-solving documents. Communications of the ACM 42(1), 57-63 (1999)
10. Hilf, E., Kohlhase, M., Stamerjohanns, H.: Capturing the content of physics: Systems, observables, and experiments. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 165-178. Springer, Heidelberg (2006)
11. Heinrich, E., Maurer, H.: Active documents: Concept, implementation, and applications. Journal of Universal Computer Science 6(12), 1197-1202 (2000)
12. Kohlhase, A., Kohlhase, M.: Spreadsheet interaction with frames: Exploring a mathematical practice. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S.M. (eds.) Calculemus/MKM 2009. LNCS (LNAI), vol. 5625, pp. 341-356. Springer, Heidelberg (2009)
13. Andrea Kohlhase. Cpoint (2005), http://kwarc.info/projects/CPoint/
14. Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., Attwell, G., Elferink, R., Tödt, A. (eds.) Proceedings of Open Source for Education in Europe: Research and Practise, Heerlen, The Netherlands, November 2005, pp. 51-56. Open Universiteit Nederland, http://hdl.handle.net/1820/483
15. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. LNCS, vol. 4180. Springer, Heidelberg (2006)
16. Moreau, L., Groth, P., Miles, S., Vazquez, J., Ibbotson, J., Jiang, S., Munroe, S., Rana, O., Schreiber, A., Tan, V., Varga, L.: The provenance of electronic data. Communications of the ACM 51(4), 52-58 (2008)
17. McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C recommendation, W3C (February 2004)
18. Müller, N., Wagner, M.: Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In: Hinneburg, A. (ed.)Wissens- und Erfahrungsmanagement LWA (Lernen,Wissensentdeckung und Adaptivität) conference proceedings, pp. 289-295. Martin-Luther-University Halle-Wittenberg (2007)
19. Panko, R.R.: Spreadsheet errors: What we know. what we think we cando. In: Symp. of the European Spreadsheet Risks Interest Group (Eu-SpRIG) (2000)
20. Rabe, F., Kohlhase, M.: A web-scalable module system for mathematical theories. The Journal of Symbolic Computation (2009) (manuscript to be submitted)
21. Uren, V., Cimiano, P., Iria, J., Handschuh, S., Vargas-Vera, M., Motta, E., Ciravegna, F.: Semantic annotation for knowledge management: Requirements and a state of the art. Web Semantics: Science, Services, and Agents on the World Wide Web 4(1), 14-28 (2006)
22. RDFa Primer (2008), http://www.w3.org/TR/xhtml-rdfa-primer/
23. Winograd, T.: The spreadsheet. In: Winograd, T., Bennett, J., de Young, L., Hartfield, B. (eds.) Bringing Design to Software, pp. 228-231. Addison-Wesley, Reading (2006)
24. Wolfram, S.: The Mathematica Book. Cambridge University Press, Cambridge (2002)