Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel. Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. In Amy L. Murphy, Jan Vitek, editors, Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Volume 4467 of Lecture Notes in Computer Science, pages 211-230, Springer, 2007. [doi]
Abstract is missing.