中文
相关论文

相关论文: Visual Checking of Spreadsheets

200 篇论文

Scatterplots are one of the simplest and most commonly-used visualizations for understanding quantitative, multidimensional data. However, since scatterplots only depict two attributes at a time, analysts often need to manually generate and…

人机交互 · 计算机科学 2019-07-30 Doris Jung-Lin Lee , Jaewoo Kim , Renxuan Wang , Aditya Parameswaran

The spreadsheet paradigm has some unique risks and challenges that are not present in more traditional development technologies. Many of the recent advances in other branches of software development have bypassed spreadsheets and…

软件工程 · 计算机科学 2024-12-31 Simon Murphy

It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and investigate the application of Test-Driven Development to the…

软件工程 · 计算机科学 2024-12-31 Alan Rust , Brian Bishop , Kevin McDaid

The traditional approach to spreadsheet auditing generally consists of auditing every distinct formula within a spreadsheet. Although tools are developed to support auditors during this process, the approach is still very time consuming and…

软件工程 · 计算机科学 2024-12-24 Harmen Ettema , Paul Janssen , Jacques de Swart

This paper presents the results of an empirical evaluation of the quality of a structured methodology for the development of spreadsheet models, proposed in numerous previous papers by Rajalingham K, Knight B and Chadwick D et al. This…

计算机与社会 · 计算机科学 2024-12-31 Kamalasen Rajalingham , David Chadwick , Brian Knight

Massive networks have shown that the determination of dense subgraphs, where vertices interact a lot, is necessary in order to visualize groups of common interest, and therefore be able to decompose a big graph into smaller structures. Many…

社会与信息网络 · 计算机科学 2016-04-29 Etienne Callies , Tomás Yany-Anich

For many years, developers could not figure out the mystery of OS kernels. The main source of this mystery is the interaction between operating systems and hardware while system's boot up and kernel initialization. In addition, many…

操作系统 · 计算机科学 2012-11-21 Mohamed Farag

Abstract--- Table detection and extraction has been studied in the context of documents like reports, where tables are clearly outlined and stand out from the document structure visually. We study this topic in a rather more challenging…

信息检索 · 计算机科学 2021-08-20 Martin Holeček , Antonín Hoskovec , Petr Baudiš , Pavel Klinger

Developing an error-free spreadsheet has been a problem since the beginning of end-user computing. In this paper, we present a methodology that separates the modeling from the implementation. Using proven techniques from Information Systems…

软件工程 · 计算机科学 2015-06-09 Paul Mireault

We believe the error prone nature of traditional spreadsheets is due to their low level of abstraction. End user programmers are forced to construct their data models from low level cells which we define as "a data container or manipulator…

软件工程 · 计算机科学 2020-06-11 David Birch , Nicolai Stawinoga , Jack Binks , Bruno Nicoletti , Paul Kelly

Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refactoring is a small change to the database schema which…

软件工程 · 计算机科学 2010-09-09 Patrick O'Beirne

In traditional usability studies, researchers talk to users of tools to understand their needs and challenges. Insights gained via such interviews offer context, detail, and background. Due to costs in time and money, we are beginning to…

人机交互 · 计算机科学 2018-02-01 Kelly Mack , John Lee , Kevin Chang , Karrie Karahalios , Aditya Parameswaran

Cloud-based documents are inherently valuable, due to the volume and nature of sensitive personal and business content stored in them. Despite the importance of such documents to Internet users, there are still large gaps in the…

密码学与安全 · 计算机科学 2016-07-05 Martin Lazarov , Jeremiah Onaolapo , Gianluca Stringhini

In this paper, we discuss the problem of the software engineering of a class of business spreadsheet models. A methodology for structured software development is proposed, which is based on structured analysis of data, represented as…

软件工程 · 计算机科学 2008-05-29 Brian Knight , David Chadwick , Kamalesen Rajalingham

Spreadsheet technology is a cornerstone of IT systems in most organisations. It is often the glue that binds more structured transaction-based systems together. Financial operations are a case in point where spreadsheets fill the gaps left…

软件工程 · 计算机科学 2011-11-30 Kevin McDaid , Ronan MacRuairi , Neil Clynch , Kevin Logue , Cian Clancy , Shane Hayes

We present a new and practical framework for security verification of secure architectures. Specifically, we break the verification task into external verification and internal verification. External verification considers the external…

密码学与安全 · 计算机科学 2018-07-06 Jakub Szefer , Tianwei Zhang , Ruby B. Lee

Spreadsheets are ubiquitous, heavily relied on throughout vast swathes of finance, commerce, industry, academia and Government. They are also acknowledged to be extraordinarily and unacceptably prone to error. If these two points are…

软件工程 · 计算机科学 2010-09-30 Angus Dunn

Systematic reviews provide comprehensive syntheses of research fields. As a result, systematic reviews often emphasize synthesizing across the large bodies of literature rather than just describing the studies from which the conclusions…

Recent research has highlighted the high incidence of errors in spreadsheet models used in industry. In an attempt to reduce the incidence of such errors, a teaching approach has been devised which aids students to reduce their likelihood…

计算机与社会 · 计算机科学 2024-12-31 David Chadwick , Rodney E. Sue

The problem of change detection in images finds application in different domains like diagnosis of diseases in the medical field, detecting growth patterns of cities through remote sensing, and finding changes in legal documents and…

计算机视觉与模式识别 · 计算机科学 2023-07-18 Abhinandan Kumar Pun , Mohammed Javed , David S. Doermann