6 citations · 16 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 1 cited
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…
cs.SE2017★ 6 cited
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…