Consistency of UML Class and Statechart Diagrams with State Invariants.

Ali Hanzala Khan, Irum Rauf, Ivan Porres

Browse the full MODELSWARD paper archive.