7 citations · 23 across the 9 of their papers we have counts for
9 papers
Essay on modality across different logics
Alfredo Roque Freire, Manuel A. Martins
In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence , we argue that it is not…
Asymmetric combination of logics is functorial: A survey
Renato Neves, Alexandre Madeira, Luis S. Barbosa +1
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development o…
A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by…
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, Dirk Hofmann +1
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are…
The role of logical interpretations in program development
Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa
Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms…
Bisimilarity and refinement for hybrid(ised) logics
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both ex…