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]

Abstract

Abstract is missing.