7 citations · 33 across the 8 of their papers we have counts for
5 papers · 1 filter
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…
SysML/KAOS Domain Models and B System Specifications
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar +1
In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal metho…
Formal Representation of SysML/KAOS Domain Model (Complete Version)
Steve Tueno, Régine Laleau, Amel Mammar +1
Nowadays, the usefulness of a formal language for ensuring the consistency of requirements is well established. The work presented here is part of the definition of a formally-grou…
The SysML/KAOS Domain Modeling Approach
Steve Tueno, Régine Laleau, Amel Mammar +1
A means of building safe critical systems consists of formally modeling the requirements formulated by stakeholders and ensuring their consistency with respect to application domai…
Formal refinement of extended state machines
Thomas Fayolle, Marc Frappier, Régine Laleau +1
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This tra…