10 citations · 10 across the 1 of their papers we have counts for
1 paper
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…