Merkliste 
 1 Ergebnisse 
 
1

Using Aspects for Enforcing Formal Architectural Invariants:

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed
Electronic Notes in Theoretical Computer Science.  215 (2008)  - p. 5-21 , 2008