Using Aspects for Enforcing Formal Architectural Invariants

Slim Kallel, Anis Charfi, Mohamed Jmaiel. Using Aspects for Enforcing Formal Architectural Invariants. Electronic Notes in Theoretical Computer Science, 215:5-21, 2008. [doi]

Abstract

Abstract is missing.