Slim Kallel - Home page

by Slim Kallel, Anis Charfi, Mohamed Jmaiel

Reference:

Slim Kallel, Anis Charfi, Mohamed Jmaiel, Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008.

Bibtex Entry:

@ARTICLE{slim08a,
  author = {Slim  Kallel and Anis Charfi and Mohamed Jmaiel},
  title = {Using Aspects for Enforcing Formal Architectural
                  Invariants},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2008},
  volume = {215},
  pages = {5--21},
  doi = {10.1016/j.entcs.2008.06.018},
keywords  = {Formal},
  publisher = {Elsevier}
}

Publications