7 citations · 29 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 7 cited
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…
cs.LO2013★ 2 cited
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…