8 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.SE2009
A Language-theoretic View on Guidelines and Consistency Rules of UML
Zhe Chen, Gilles Motet
Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avioni…
cs.SE2009★ 6 cited
Formalizing Safety Requirements Using Controlling Automata
Zhe Chen, Gilles Motet
Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which ar…
cs.SE2009★ 8 cited
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
Zhe Chen, Gilles Motet
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches…