Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Slim Kallel' in GoogleThis author has not been identified. Look up 'Anis Charfi' in GoogleThis author has not been identified. Look up 'Mira Mezini' in GoogleThis author has not been identified. Look up 'Mohamed Jmaiel' in Google

runs on WebDSL