Browsing Bergen Open Research Archive by Author "Hammond, Kevin"
Now showing items 1-2 of 2
-
Algebraic Reasoning About Timeliness
Haeri, Seyed Hossein; Thompson, Peter W; Van Roy, Peter; Haveraaen, Magne; Davies, Neil J; Barash, Mikhail; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2023)Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ... -
Mind Your Outcomes: The ∆QSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study
Haeri, Seyed Hossein; Thompson, Peter; Davies, Neil; Van Roy, Peter; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2022)This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance ...