Articles techniques

1. Un tutoriel sur la mise en oeuvre d'une pile applicative sécurisée pour ledéveloppement collaboratif apache+subversion+ssl.

Bibliographie

1. rapport de DEA (pdf gzip - 430k, en français)
2. A Component Oriented Notation for Behavioral Specification andValidation, I.Ryl, M.Clerbout et A.Bailly, OOPSLA'2001 Workshop onSpecification and Verification on Component Based Systemsps gzip, 212k, en anglais) ;
3. Fidl - spécifications formelles en idl3, A. Bailly, I. Ryl andM. Clerbout. In Jean-Pierre Briot and Jacques Malenfant, editors,Langages et Modèles à Objets - LMO'03, volume 9 of L'Objet, pages213-225. Hermes - Lavoisier, 2003 (ps.gzip - 79k, en français) ;
4. STAC: Communication traces based specifications and tests ofsoftware components, I. Ryl, M. Clerbout and A. Bailly . InProc. of 15th Nordic Workshop on Programming Theory (NWTP'03),Turku, Finland, 2003.(ps gzip - 79k, en anglais) ;
5. Component composition preserving behavioral contracts, I. Ryl,A. Bailly and M. Clerbout ; Research Report RR-2005-1,.(pdf gzip, 183k, en anglais) ;
6. Component Composition Preserving Behavioural Contracts Based onCommunication Traces., Arnaud Bailly, Mireille Clerbout andIsabelle Simplot-Ryl ; Tenth International Conference onImplementation and Application of Automata (CIAA 05) June 27-29,2005, Sophia Antipolis, France. (pdf gzip - 183k, en anglais)
7. Test et validation de composants logiciels, Mémoire de thèse dedoctorat en informatique, soutenu le 15 décembre 2005 (pdf gzip