ADLs  Accélérateurs de particules  Alloy  Analyse financière  Approche centrée architecture  Architecture dynamique  Architecture logicielle  Architecture orientée service  Architectures logicielles  Architectures logicielles dynamiques  Automates temporisés  B  Bases de données  Chez la personne âgée  Commande automatique  Compilateurs  Composant-Connecteur  Composants logiciels  Conception  Contrôle commande  Ctl  Description architecturale  Design patterns  Décisions architecturales  Développement centré architecture  Développement logiciel  ECD  Evoluation dynamique  Evolution du logiciel  Fédérations  Graphe  Génie industriel  Génie logiciel  Génération de code  Idm  Implémentation  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Instruments intelligents  Intelligence ambiente  Intelligence artificielle  Intelligence artificielle répartie  Interaction multimodale  Interopérabilité  Intégration d'applications d'entreprise  Langage d'architecture π-ADL. Net  Langage de description d'architectures  Langages de description architecturale  Logiciels -- Développement  Logiciels -- Réingénierie  Logique de réécriture  Logique floue  Logique temporelle arborescente  Maladies chroniques  Microsoft .NET  Migration de logiciel  Migration des systèmes d'information  Modèles mathématiques  Modélisation  Monitoring  Métamodélisation en temps continu  Méthode formelle  Méthodes formelles  Orchestration  Orientée objet  Patrons architecturaux  Personnes âgées -- Soins à domicile  Pi-calcul  Processus stochastiques  Progiciels -- Développement  Programmation physico-Financière  Propriétés de sureté et de vivacité  Raffinement  Raffinement d'architectures  Raffinement formel  Reconfiguration  Reconfiguration dynamique  Reconfiguration logicielle  Représentation des connaissances  Revue systématique  Robotique  Robots  Ré-Ingénierie  Résolution de contraintes  Rétro-Ingénierie  Rétro-ingénierie  Réutilisation logicielle  SAD  SArEM  SOA  SOAR  SPEM  SdS  Simulation  SoS  Spécification  Spécification formelle  Style architectural  Styles architecturaux  Support informatique pour le raffinement d'architectures logicielles  Système de systèmes  Système multimodal  Système robotique  Systèmes adaptatifs  Systèmes communicants  Systèmes complexes  Systèmes d'aide à la décision  Systèmes de grandes dimensions  Systèmes de systèmes  Systèmes de transitions étiquetées  Systèmes des systèmes  Systèmes distribués  Systèmes, Conception de  Thèses et écrits académiques  Traitement réparti  Transformation  Télémédecine  Validation  Variabilité  Vérification de propriétés architecturales  Vérification formelle  Vérification formelle à base de modèles  À base de composants  π-adl  

Flavio Oquendo a rédigé la thèse suivante :


Flavio Oquendo a dirigé les 23 thèses suivantes :

Sciences et technologies de l'information et de la communication
Soutenue en 2010
Thèse soutenue


Flavio Oquendo a été président de jury des 2 thèses suivantes :


Flavio Oquendo a été rapporteur des 2 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 19-02-2011
Thèse soutenue

Flavio Oquendo a été membre de jury des 2 thèses suivantes :