1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2018★ 1 cited
The Generic SysML/KAOS Domain Metamodel
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau +2
This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System…
cs.LO2005
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions
Hector Ruiz Barradas, Didier Bert
We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for deriving "…
cs.LO2005★ 1 cited
Proof obligations for specification and refinement of liveness properties under weak fairness
Hector Ruiz Barradas, Didier Bert
In this report, we present a formal model of fair iteration of events for B event systems. The model is used to justify proof obligations for basic liveness properties and preserva…