Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

Autor: Seyed Hossein Haeri, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman

Publikováno v: Computers, Vol 11, Iss 3, p 45 (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 before expending signif

Externí odkaz: https://doaj.org/article/4deab28fc5d641a5a4d0fb4b1d14aa53

Mind Your Outcomes: The ∆Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study

Autor: Seyed Hossein HAERI, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman

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 before expending signif

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7edae08fcb21623d2b7171d5f00ebe92
https://doi.org/10.20944/preprints202112.0132.v2

Solving the Expression Problem in C++, á la LMS

Autor: Paul Keir, Seyed Hossein Haeri

Publikováno v: Theoretical Aspects of Computing – ICTAC 2019 ISBN: 9783030325046
ICTAC

We give a C++ solution to the Expression Problem that takes a components-for-cases approach. Our solution is a C++ transliteration of how Lightweight Modular Staging solves the Expression Problem. It, furthermore, gives a C++ encoding to object algeb

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::81045ebb63adbb2ab5fbc21528e6fd0d
https://doi.org/10.1007/978-3-030-32505-3_20

Expression Compatibility Problem

Autor: Sibylle Schupp, Seyed Hossein Haeri

Publikováno v: SCSS

We solve the Expression Compatibility Problem (ECP) – a variation of the famous Expression Problem (EP) which, in addition to the classical EP concerns, takes into consideration the replacement, refinement, and borrowing of algebraic datatype (ADT)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f6aa482dac588e47718b5223cc8db51a
https://doi.org/10.29007/xlbn

Worlds of Events Deduction with Partial Knowledge about Causality

Autor: Carlos Baquero, Seyed Hossein Haeri, Peter Van Roy, Christopher Meiklejohn

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Electronic Proceedings in Theoretical Computer Science, Vol. 223, no. 1, p. 113-127 (2016)
Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 113-127 (2016)

Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place in this distributed system is key to provide a seamless interaction wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8097835e967f99469e4a488020458d5b
http://repositorio.inesctec.pt/handle/123456789/7485