@inproceedings{waignier:inria-00284514, TITLE = {{Architectural Specification and Static Analyses of Contractual Application Properties}}, AUTHOR = {Waignier, Guillaume and Le Meur, Anne-Fran{\c c}oise and Duchien, Laurence}, URL = {https://inria.hal.science/inria-00284514}, BOOKTITLE = {{4th International Conference on the Quality of Software-Architectures (QoSA 2008)}}, ADDRESS = {Karlsruhe (TH), Germany}, EDITOR = {Ralf Reussner}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {5281}, PAGES = {152-170}, YEAR = {2008}, MONTH = Oct, DOI = {10.1007/978-3-540-87879-7\_10}, HAL_ID = {inria-00284514}, HAL_VERSION = {v1}, }