Publications

DBLP Google Scholar

by Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel
Reference:
Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel, Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012.
Bibtex Entry:
@article{KHKJ-SoSyM-10,
    AUTHOR      = {Slim Kallel and Mohamed Hadj Kacem and Mohamed Jmaiel},
    TITLE       = {{Modeling and enforcing invariants of dynamic
                  software architectures}},
    JOURNAL     = {Software and Systems Modeling},
    YEAR        = {2012},
    volume      = {11},
    number      = {1},
    pages       = {127--149},
    publisher   = {Springer},
    doi         = {10.1007/s10270-010-0162-z}
}