Browsing by Author NGUYEN, Thi Minh Tuyen

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • stage-nguyen_thi_minh_tuyen.pdf.jpg
  • Thesis


  • Authors: LANOIX, Arnaud; SOUQUIERES, Jeanine; NGUYEN, Thi Minh Tuyen (2008)

  • L'équipe DEDALE du LORIA travaille sur les approches de vérification d'architectures logicielles à base de composants. Les composants sont des boîtes noires pour lesquelles seules leurs interfaces sont connues. Une interface décrit les fonctionnalités offertes et/ou requises par le composant considéré. Pour que différents composants puissent être déployés et travailler ensemble, ils doivent pouvoir coopérer, c'est-à-dire que leurs interfaces doivent être compatibles. Mon travail de stage a porté sur la liaison entre les travaux de l'équipe DEDALE sur l'assemblage de composants au niveau UML/B et les composants Enterprise Java Bean (EJB). Nous avons proposé une liaison à différ...

Browsing by Author NGUYEN, Thi Minh Tuyen

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • stage-nguyen_thi_minh_tuyen.pdf.jpg
  • Thesis


  • Authors: LANOIX, Arnaud; SOUQUIERES, Jeanine; NGUYEN, Thi Minh Tuyen (2008)

  • L'équipe DEDALE du LORIA travaille sur les approches de vérification d'architectures logicielles à base de composants. Les composants sont des boîtes noires pour lesquelles seules leurs interfaces sont connues. Une interface décrit les fonctionnalités offertes et/ou requises par le composant considéré. Pour que différents composants puissent être déployés et travailler ensemble, ils doivent pouvoir coopérer, c'est-à-dire que leurs interfaces doivent être compatibles. Mon travail de stage a porté sur la liaison entre les travaux de l'équipe DEDALE sur l'assemblage de composants au niveau UML/B et les composants Enterprise Java Bean (EJB). Nous avons proposé une liaison à différ...