Luís Soares Barbosa

TL;DR: The framework promotes the stewardship of data, processes and algorithms, the controlled opening of data and algorithms to enable external scrutiny, trusted information sharing within and between organizations, risk-based governance, system-level controls, and data control through shared ownership and self-sovereign identities.

TL;DR: A taxonomy for planning and designing smart mobility services is proposed that provides a common vocabulary to discuss and share information about such services and comprises eight dimensions: type of services, maturity level, users, applied technologies, delivery channels, benefits, beneficiaries, and common functionality.

TL;DR: This paper characterises refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors and shows how refinement can be applied to the development of the inequational subset of a calculus of generic software components.

TL;DR: In this article, the authors introduce a method to hybridize logics at the same institution-independent level by extending arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features, and show that any encoding from an arbitrary institution to first order logic (FOL) determines a comorphism from its hybridization to FOL.

TL;DR: The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to systems' design.