Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel. Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. In Amy L. Murphy, Jan Vitek, editors, Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Volume 4467 of Lecture Notes in Computer Science, pages 211-230, Springer, 2007. [doi]
@inproceedings{KallelCMJ07,
title = {Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants},
author = {Slim Kallel and Anis Charfi and Mira Mezini and Mohamed Jmaiel},
year = {2007},
doi = {10.1007/978-3-540-72794-1_12},
url = {http://dx.doi.org/10.1007/978-3-540-72794-1_12},
tags = {architecture},
researchr = {https://researchr.org/publication/KallelCMJ07},
cites = {0},
citedby = {0},
pages = {211-230},
booktitle = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
editor = {Amy L. Murphy and Jan Vitek},
volume = {4467},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-72793-4},
}