publication . Preprint . 2008

Ensuring Spreadsheet Integrity with Model Master

Paine, Jocelyn;
Open Access English
  • Published: 23 Jan 2008
We have developed the Model Master (MM) language for describing spreadsheets, and tools for converting MM programs to and from spreadsheets. The MM decompiler translates a spreadsheet into an MM program which gives a concise summary of its calculations, layout, and styling. This is valuable when trying to understand spreadsheets one has not seen before, and when checking for errors. The MM compiler goes the other way, translating an MM program into a spreadsheet. This makes possible a new style of development, in which spreadsheets are generated from textual specifications. This can reduce error rates compared to working directly with the raw spreadsheet, and gi...
ACM Computing Classification System: ComputingMilieux_PERSONALCOMPUTINGInformationSystems_INFORMATIONSYSTEMSAPPLICATIONS
free text keywords: Computer Science - Programming Languages, Computer Science - Human-Computer Interaction, J.1, H.4.1, K.6.4, D.2.9
Download from

Biz/Ed page. 10:30am 21/4/2001.

Chen, Y. and Chen, H.C. (July 2000), “Visual Checking of Spreadsheets”, Proceedings of EuSpRIG 2000, pages 75-85..

Cleaveland, J.C. (1975), “Meaning and Syntactic Redundancy”, New Directions in Algorithmic Languages 1975 (ed. S.A.Schumann), IRIA.

Chris Browne's Linux spreadsheet page. 10:40am 21/4/2001.

Goguen, J.A. (1975), “Objects”, Int. J. General Systems, vol 1, pages 237-243.

Goguen, J.A. (1992), “Sheaf Semantics for Concurrent Interacting Objects”, Math. Struct. In Comp. Science, vol 2, pages 159-91.

Goguen, J.A. and Tracz, W. (April 2000), “An Implementation-Oriented Semantics for Module Composition”, Foundations of Component-based Systems (ed. Gary Leavens and Murali Sitaraman), Cambridge. is a more complete version of the paper (7 March 1997, revised 15 October 1998), but the authors state that it has a few errors.

Grossman, T.A. (May-June 1999), “Teachers' Forum: Spreadsheet Modelling and Simulation Improves Understanding of Queues”, Interfaces, vol 29(3), pages 88-103. There are links to the paper and to the Excel queuing simulations at 9:45am 16/4/2001.

Isakowitz, T., Schocken, S. and Lucas, H.C. (January 1995), “Towards a Logical/Physical Theory of Spreadsheet Modelling”, ACM Transactions on Information Systems, vol 13(1), pages 1-37. [OpenAIRE]

Panko, R.P. (July 2000), “Spreadsheet Errors: What We Know, What We Think We Can Do”, Proceedings of EuSpRIG 2000, pages 7- 17.

Rajalingham, K., Chadwick, D.R. and Knight, B. (July 2000), “Classification of Spreadsheet Errors”, Proceedings of EuSpRIG 2000, pages 23-34..

Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue