Approche Composant : de la spécification à l'implantation
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...
Saved in:
Main Authors: | LANOIX, Arnaud, SOUQUIERES, Jeanine, NGUYEN, Thi Minh Tuyen |
---|---|
Format: | Theses and Dissertations |
Language: | French |
Published: |
2015
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/275 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | French |
Similar Items
-
An analysis of the cost of validating semantic composability
by: Szabo, C., et al.
Published: (2013) -
Composable simulation models and their formal validation
by: CLAUDIA SZABO
Published: (2011) -
Construction d'un platoon en CSPllB
by: JACQUOT, Jean-Pierre, et al.
Published: (2015) -
The mark of a Filipino composer: Felipe Padilla de Leon
by: Arante, Alvin B., et al.
Published: (1979) -
I write the songs, --Lucio San Pedro, 71, composer
by: Barot, Diane, et al.
Published: (1985)