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. In Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with . pages 63-73, INSTICC PRESS, 2007.

Abstract

Abstract is missing.