UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Browse the full WETICE paper archive.