DBLP RSS Google Scholar

by Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
Reference:
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007.
Bibtex Entry:
@INPROCEEDINGS{KallelCoordination07,
author = {Slim Kallel and Anis Charfi and Mira Mezini and Mohamed Jmaiel},
title = {{Combining Formal Methods and Aspects for Specifying and
Enforcing Architectural Invariants}},
booktitle = {Proceedings of the 9th International Conference on
Coordination Models and Languages (Coordination)},
year = {2007},
volume = {4467},
series = {Lecture Notes in Computer Sciences},
pages = {211--230},
address = {Paphos, Cyprus},
month = {June},
publisher = {Springer},
keywords  = {Formal},
doi = {10.1007/978-3-540-72794-1_12}
}