INRIA Lille - Nord Europe
40 avenue Halley
59650 Villeneuve d'Ascq, France
Map
Side Bars
Header/Footer
Site Pages
Architectural Specification and Static Analyses of Contractual Application Properties. Guillaume Waignier, Anne-Françoise {Le Meur} and Laurence Duchien. In Proceedings of the 4th International Conference on the Quality of Software-Architectures (QoSA'08), pages 152-170, Karlsruhe (TH), Germany, October 2008. (Rank (CORE) : A).
@INPROCEEDINGS { waignier-QoSA-08,
AUTHOR = { Guillaume Waignier and Anne-Fran\c{c}oise {Le Meur} and Laurence Duchien },
TITLE = { {Architectural Specification and Static Analyses of Contractual Application Properties} },
BOOKTITLE = { Proceedings of the 4th International Conference on the Quality of Software-Architectures (QoSA'08) },
PAGES = { 152-170 },
VOLUME = { 5281 },
YEAR = { 2008 },
ADDRESS = { Karlsruhe (TH), Germany },
MONTH = { oct },
WEBSITE = { http://qosa.ipd.uka.de },
SERIES = { Lecture Notes in Computer Science },
EDITOR = { Steffen Becker and Frantisek Plasil and Ralf Reussner },
PUBLISHER = { Springer-Verlag },
DOI = { 10.1007/978-3-540-87879-7\_10 },
URL = { http://hal.inria.fr/inria-00284514 },
AERES = { ACT },
LABO = { dans },
INRIA = { ADAM },
SELECTIF = { oui },
RATE = { 36\% },
NOTE = { Rank (CORE) : A },
BOARD = { yes },
PROCEEDINGS = { yes },
AUDIENCE = { yes },
}
Adam