Automated checks on UML diagrams.

Michael Striewe, Michael Goedicke

Browse the full ITiCSE paper archive.