Le moteur de recherche
des thèses françaises
Mohamed Ahmed-Nacer
IdRefMots clés
FR |
EN
Mise à jour dynamique des programmes
Méthodes formelles
Java Card
Correction de la mise à jour dynamique des programmes
Systèmes embarqués (informatique)
Fichiers (informatique) -- Traitement
Méthodes formelles (informatique)
Java Card (système d'exploitation des ordinateurs)
Coopération B2B
Coopération entre entreprises
SOA
Flux de travail
Sciences appliquées
Informatique, automatique théorique, systèmes
Génie logiciel
Base donnée
Développement logiciel
Schéma programme
Modèle
Produit