Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel

Browse the full Coordination paper archive.