DMCA

Automated Encapsulation of UML Activities for Incremental Development and Verification

by Frank Alex , Er Kraemer , Peter Herrmann