Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien. Architectural Specification and Static Analyses of Contractual Application Properties. In Steffen Becker, Frantisek Plasil, Ralf Reussner, editors, Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings. Volume 5281 of Lecture Notes in Computer Science, pages 152-170, Springer, 2008. [doi]
Abstract is missing.