UML-driven Information Systems and their Formal Integration Validation and Distribution.

Nasreddine Aoumeur Gunter Saake UML-driven Information Systems and their Formal Integration Validation and Distribution. 63-73 2007 conf/vveis/2007 MSVVEIS db/conf/vveis/msvveis2007.html#AoumeurS07