The fusion calculus: Expressiveness and symmetry in mobile processes
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 …
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 …
both professional developers and non-technical end users. Moreover, business intelligence …
Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation
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 …
Spreadsheet cells whose computation is subject to the same semantics are often clustered …
Smelling faults in spreadsheets
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 …
environment that is widely used in industry. In fact, spreadsheets are widely adopted for …
[HTML][HTML] Spreadsheet debugging: The perils of tool over-reliance
Spreadsheets are widely used in organizations for various purposes such as data
aggregation, reporting and decision-making. Since spreadsheets, like other types of …
aggregation, reporting and decision-making. Since spreadsheets, like other types of …
CACheck: detecting and repairing cell arrays in spreadsheets
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 …
Spreadsheet cells whose computation is subject to the same semantics are often clustered …
[HTML][HTML] Product metrics for spreadsheets—a systematic review
Software product metrics allow practitioners to improve their products and to optimize
development processes based on quantifiable characteristics of source code. To facilitate …
development processes based on quantifiable characteristics of source code. To facilitate …
[PDF][PDF] Melford: Using neural networks to find spreadsheet errors
Spreadsheets are widely used for financial and other types of important numerical
computations. Spreadsheet errors have accounted for hundreds of millions of dollars of …
computations. Spreadsheet errors have accounted for hundreds of millions of dollars of …
Detecting table clones and smells in spreadsheets
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 …
analysis and financial reporting. End users may perform similar tasks by cloning a block of …
Metric-based fault prediction for spreadsheets
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 …
decision-making tasks. Even though faults within such spreadsheets are common and can …