L
Luís Soares Barbosa
Researcher at University of Minho
Publications - 195
Citations - 1550
Luís Soares Barbosa is an academic researcher from University of Minho. The author has contributed to research in topics: Component-based software engineering & Hybrid logic. The author has an hindex of 16, co-authored 185 publications receiving 1292 citations. Previous affiliations of Luís Soares Barbosa include United Nations University & University of Aveiro.
Papers
More filters
Journal ArticleDOI
Data governance: Organizing data for trustworthy Artificial Intelligence
Marijn Janssen,Paul Brous,Elsa Estevez,Elsa Estevez,Luís Soares Barbosa,Luís Soares Barbosa,Tomasz Janowski,Tomasz Janowski +7 more
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.
Journal ArticleDOI
A taxonomy for planning and designing smart mobility services
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.
Journal ArticleDOI
Components as coalgebras: the refinement dimension
Sun Meng,Luís Soares Barbosa +1 more
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.
Book ChapterDOI
Hybridization of institutions
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.
Journal Article
Towards a calculus of state-based software components
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.