4 citations · 6 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 2 cited
Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, LuÂ-Ã-s Soares Barbosa
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsisten…
cs.LO2022★ 4 cited
A Logic for Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In…