Spécification et vérification formelles des systèmes de composants répartis
Un composant est une entité autonome qui interagit avec son environnement par des interfaces correctement spécifiées. Fractive est une implantation du modèle de composants Fractal qui propose des primitives de haut niveau et une sémantique pour la programmation à base de composants Java distribués,...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nice Sophia-Antipolis
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00090718 http://tel.archives-ouvertes.fr/docs/00/09/07/18/PDF/TomasBarros_Thesis_Nov2005.pdf |