Abstract: UML state machines are widely used for modeling software behavior. We present a proposal of constructing constraint systems out of state machines with performance requirements. Our approach ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results