Articles techniques

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

Bibliographie

  1. rapport de DEA (pdf gzip - 430k, en français)
  2. A Component Oriented Notation for Behavioral Specification and Validation, I.Ryl, M.Clerbout et A.Bailly, OOPSLA'2001 Workshop on Specification and Verification on Component Based Systemsps gzip, 212k, en anglais) ;
  3. Fidl - spécifications formelles en idl3, A. Bailly, I. Ryl and M. Clerbout. In Jean-Pierre Briot and Jacques Malenfant, editors, Langages et Modèles à Objets - LMO'03, volume 9 of L'Objet, pages 213-225. Hermes - Lavoisier, 2003 (ps.gzip - 79k, en français) ;
  4. STAC: Communication traces based specifications and tests of software components, I. Ryl, M. Clerbout and A. Bailly . In Proc. 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 on Communication Traces., Arnaud Bailly, Mireille Clerbout and Isabelle Simplot-Ryl ; Tenth International Conference on Implementation 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 de doctorat en informatique, soutenu le 15 décembre 2005 (pdf gzip
© 2006-2007 OQube  | Dernière publication: 29-01-2007