Approche Composant : de la spécification à l'implantation

• المؤلفون الرئيسيون: LANOIX, Arnaud, SOUQUIERES, Jeanine, NGUYEN, Thi Minh Tuyen
• التنسيق: Theses and Dissertations
• اللغة: French
• منشور في: 2015
• الموضوعات: composant; adaptateur; spécification; compatibilité; EJB; JML
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/275
• المؤسسة: Vietnam National University, Hanoi

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 comp...