Modeling and enforcing invariants of dynamic software architectures

Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel. Modeling and enforcing invariants of dynamic software architectures. Software and Systems Modeling, 11(1):127-149, 2012. [doi]

Authors

Slim Kallel

This author has not been identified. Look up 'Slim Kallel' in Google

Mohamed Hadj Kacem

This author has not been identified. Look up 'Mohamed Hadj Kacem' in Google

Mohamed Jmaiel

This author has not been identified. Look up 'Mohamed Jmaiel' in Google