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
Book ChapterDOI
FLOSS in Technology-Enhanced Learning
TL;DR: It was showed that despite their similarities, the appropriateness of different FLOSS LMSs can be greatly affected by the specific needs of students, instructors and institutions.
Proceedings ArticleDOI
Transforming Legal Documents for Visualization and Analysis
TL;DR: Preliminary results on a research line devoted to developing visualisation techniques for enhancing the readability and comprehension of legal texts are introduced.
Posted Content
Generalising KAT to verify weighted computations
TL;DR: This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GkAT).
Proceedings ArticleDOI
When Even the Interface Evolves...
TL;DR: This paper extends the authors' previous work on a formal approach to the specification of reconfigurable systems, in which configurations are taken as local states in a suitable transition structure, with the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves vary.
Proceedings ArticleDOI
A Self-Adaptation Strategy for Service-Based Architectures
TL;DR: This paper discusses both a model that lays down reconfiguration strategies, planned at design time, and a strategy which actively uses such a model to trigger architectural adaptations at run time.