English
Related papers

Related papers: Ensuring Spreadsheet Integrity with Model Master

200 papers

Complex software-driven systems often interleave distributed, concurrent computation processes with physical interactions with the environment. Developing these systems more efficiently and safely can be achieved by employing actionable,…

Software Engineering · Computer Science 2025-11-20 Hiep Hong Trinh , Federico Ciccozzi , Abu Naser Masud , Marjan Sirjani , Mikael Sjödin

Spreadsheets are widely used in industry, even for critical business processes. This implies the need for proper risk assessment in spreadsheets to evaluate the reliability and validity of the spreadsheet's outcome. As related research has…

Software Engineering · Computer Science 2017-04-06 Thomas Reschenhofer , Bernhard Waltl , Klym Shumaiev , Florian Matthes

Spreadsheets are widely used in various fields to do large numerical analysis. While several companies have relied on spreadsheets for decades, data scientists are going in the direction of using scientific programming languages such as…

Software Engineering · Computer Science 2022-11-14 Amir Nassereldine , Patrick Chen , Jinjun Xiong

Spreadsheets are end-user programs and domain models that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. As a result,…

Databases · Computer Science 2014-01-30 Michael Kohlhase , Corneliu Prodescu , Christian Liguda

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented…

Logic in Computer Science · Computer Science 2011-05-04 Florian Rabe , Michael Kohlhase

The use of spreadsheets is widespread. Be it in business, finance, engineering or other areas, spreadsheets are created for their flexibility and ease to quickly model a problem. Very often they evolve from simple prototypes to…

Software Engineering · Computer Science 2011-11-30 José Pedro Correia , Miguel A. Ferreira

Modern spreadsheet systems can be used to implement complex spreadsheet applications including data sheets, customized user forms and executable procedures written in a scripting language. These applications are often developed by…

Software Engineering · Computer Science 2015-03-12 Domenico Amalfitano , Nicola Amatucci , Vincenzo De Simone , Anna Rita Fasolino , Porfirio Tramontana

Thanks to their flexibility and capability to perform different tasks and organize data in the best form and format, spreadsheets are widely used in different organizations and by different end users. Many business organizations rely on…

Software Engineering · Computer Science 2019-12-20 Ali Aburas

Numerous knowledge workers utilize spreadsheets in business, accounting, and finance. However, a lack of systematic documentation methods for spreadsheets hinders automation, collaboration, and knowledge transfer, which risks the loss of…

Software Engineering · Computer Science 2025-10-24 Amila Indika , Igor Molybog

The spreadsheet has been used by the business community for many years and yet still raises a number of significant concerns. As educators our concern is to try to develop the students skills in both the development of spreadsheets and in…

Computers and Society · Computer Science 2024-12-31 David A. Banks , Ann Monday

XSLT is an increasingly popular language for processing XML data. It is widely supported by application platform software. However, little optimization effort has been made inside the current XSLT processing engines. Evaluating a very…

Databases · Computer Science 2007-05-23 Zhimao Guo , Min Li , Xiaoling Wang , Aoying Zhou

We introduce SpreadsheetBench, a challenging spreadsheet manipulation benchmark exclusively derived from real-world scenarios, designed to immerse current large language models (LLMs) in the actual workflow of spreadsheet users. Unlike…

Computation and Language · Computer Science 2024-10-18 Zeyao Ma , Bohan Zhang , Jing Zhang , Jifan Yu , Xiaokang Zhang , Xiaohan Zhang , Sijia Luo , Xi Wang , Jie Tang

We present SheetMind, a modular multi-agent framework powered by large language models (LLMs) for spreadsheet automation via natural language instructions. The system comprises three specialized agents: a Manager Agent that decomposes…

Human-Computer Interaction · Computer Science 2025-06-17 Ruiyan Zhu , Xi Cheng , Ke Liu , Brian Zhu , Daniel Jin , Neeraj Parihar , Zhoutian Xu , Oliver Gao

Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations rest might not be the least issue. The paper addresses this…

Human-Computer Interaction · Computer Science 2024-12-31 Karin Hodnigg , Markus Clermont , Roland T. Mittermeir

We intend to demonstrate the innate problems with existing spreadsheet products and to show how to tackle these issues using a new type of spreadsheet program called Resolver. It addresses the issues head-on and thereby moves the 1980's…

Software Engineering · Computer Science 2008-03-10 Patrick Kemmis , Giles Thomas

Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to verify, since data and executable information are stored…

Human-Computer Interaction · Computer Science 2008-07-22 John C. Nash , Neil Smith , Andy Adler

Specialized documentation techniques have been developed to communicate key facts about machine-learning (ML) systems and the datasets and models they rely on. Techniques such as Datasheets, FactSheets, and Model Cards have taken a mainly…

Excel lacks features for modular design. Had it such features, as do most programming languages, they would save time, avoid unneeded programming, make mistakes less likely, make code-control easier, help organisations adopt a uniform house…

Software Engineering · Computer Science 2008-03-14 Jocelyn Paine

Accuracy in spreadsheet modelling systems can be reduced due to difficulties with the inputs, the model itself, or the spreadsheet implementation of the model. When the "true" outputs from the system are unknowable, accuracy is evaluated…

Human-Computer Interaction · Computer Science 2008-07-22 Thomas A. Grossman

Spreadsheets are powerful tools which play a business-critical role in many organizations. However, many bad decisions taken due to faulty spreadsheets show that these tools need serious quality assurance. Furthermore, while collaboration…

Software Engineering · Computer Science 2017-12-01 Daniel Kulesz , Verena Käfer , Stefan Wagner