UML consistency rules: a case study with open-source UML models

Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi
January 2020
Type
Conference paper
Publication
FormaliSE