Technical items

  1. A tutorial about the implementation of a secured application stack for an apache+subversion+ssl joined development (in french).

Bibliography

  1. DEA report (pdf gzip - 430k, french version)
  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, english version ;
  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, french version) ;
  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, english version) ;
  5. Component composition preserving behavioral contracts, I. Ryl, A. Bailly and M. Clerbout ; Research Report RR-2005-1, .(pdf gzip, 183k, english version) ;
  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, englieh version)
  7. Test et validation de composants logiciels, Master’s thesis in data processing, attended on 15 december 2005 (pdf gzip
© 2006-2007 OQube  | Dernière publication: 29-01-2007

\News