DBLP RSS Google Scholar

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}
}