The fusion calculus: Expressiveness and symmetry in mobile processes

J Parrow, B Victor - … Annual IEEE Symposium on Logic in …, 1998 - ieeexplore.ieee.org
We present the fusion calculus as a significant step towards a canonical calculus of
concurrency. It simplifies and extends the/spl pi/-calculus. The fusion calculus contains the …

Spreadsheet quality assurance: a literature review

PL Poon, MF Lau, YT Yu, SF Tang - Frontiers of Computer Science, 2024 - Springer
Spreadsheets are very common for information processing to support decision making by
both professional developers and non-technical end users. Moreover, business intelligence …

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation

W Dou, SC Cheung, J Wei - … of the 36th International Conference on …, 2014 - dl.acm.org
Spreadsheets are widely used by end users for numerical computation in their business.
Spreadsheet cells whose computation is subject to the same semantics are often clustered …

Smelling faults in spreadsheets

R Abreu, J Cunha, JP Fernandes… - 2014 IEEE …, 2014 - ieeexplore.ieee.org
Despite being staggeringly error prone, spreadsheets are a highly flexible programming
environment that is widely used in industry. In fact, spreadsheets are widely adopted for …

[HTML][HTML] Spreadsheet debugging: The perils of tool over-reliance

A Mukhtar, B Hofer, D Jannach, F Wotawa - Journal of Systems and …, 2022 - Elsevier
Spreadsheets are widely used in organizations for various purposes such as data
aggregation, reporting and decision-making. Since spreadsheets, like other types of …

CACheck: detecting and repairing cell arrays in spreadsheets

W Dou, C Xu, SC Cheung, J Wei - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Spreadsheets are widely used by end users for numerical computation in their business.
Spreadsheet cells whose computation is subject to the same semantics are often clustered …

[HTML][HTML] Product metrics for spreadsheets—a systematic review

B Hofer, D Jannach, P Koch, K Schekotihin… - Journal of Systems and …, 2021 - Elsevier
Software product metrics allow practitioners to improve their products and to optimize
development processes based on quantifiable characteristics of source code. To facilitate …

[PDF][PDF] Melford: Using neural networks to find spreadsheet errors

R Singh, B Livshits, B Zorn - … , Microsoft Tech Report Number MSR-TR …, 2017 - Citeseer
Spreadsheets are widely used for financial and other types of important numerical
computations. Spreadsheet errors have accounted for hundreds of millions of dollars of …

Detecting table clones and smells in spreadsheets

W Dou, SC Cheung, C Gao, C Xu, L Xu… - Proceedings of the 2016 …, 2016 - dl.acm.org
Spreadsheets are widely used by end users for various business tasks, such as data
analysis and financial reporting. End users may perform similar tasks by cloning a block of …

Metric-based fault prediction for spreadsheets

P Koch, K Schekotihin, D Jannach… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
Electronic spreadsheets are widely used in organizations for various data analytics and
decision-making tasks. Even though faults within such spreadsheets are common and can …