Nantilus
Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats
L'utilisation croissante des composants et des services logiciels dans les différents secteurs d'activité (télécommunications, transports, énergie, finance, santé, etc ) exige des moyens (modèles, méthodes, outils, etc...) rigoureux afin de maîtriser leur production et d'évaluer leur...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , |
| Autres auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats / Mohamed El-Habib Messabihi; sous la direction de Christian Attiogbé ; co-encadrant de thèse Pascal André |
| Publié : |
[S.l.] :
[s.n.]
, 2011 |
| Description matérielle : | 1 vol. (173 f.) |
| Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
| Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2011 |
| Sujets : | |
| Documents associés : | Autre format:
Contribution à la spécification et à la vérification des logiciels à base de composants Reproduit comme: Contribution à la spécification et à la vérification des logiciels à base de composants |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 2011 NANT 2017 | Empruntable | Disponible |
| Communication impossible | 2011 NANT 2017 | Exclu du prêt | disponible |