10 citations · 24 across the 4 of their papers we have counts for
1 paper · 2 filters
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…