Publications

DBLP Google Scholar

by Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
Reference:
Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony, Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018.
Bibtex Entry:
@article{kallel2018specification,
  title={Specification and automatic checking of architecture constraints on object oriented programs},
  author={Kallel, Sahar and Tibermacine, Chouki and Kallel, Slim and Kacem, Ahmed Hadj and Dony, Christophe},
  journal={Information and Software Technology},
  volume={101},
  pages={16--31},
  year={2018},
  publisher={Elsevier}
}