researcher / Flavio Oquendo

Flavio Oquendo

at_id:

orcid_id:

Disciplines:

Computer sciences
Industrial engineering
Edit Merge See Links

Thesis:

Contribution à l'étude des bases de données pour le génie logiciel : modèle et fonctionnalités d'un système de gestion d'objets pour environnement de génie logiciel assisté par ordinateur

Directed Thesis:

Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions
Architecture de référence pour les systèmes d’e-santé à domicile dans la perspective de systèmes-de- systèmes
Une approche dirigée par les simulations à base de modèles pour concevoir les architectures de systèmes-des-systèmes à logiciel prépondérant
Concrétisation des architectures logicielles à l'aide d'un langage formel : vers les langages dédiés au développement formel fondés sur π-ADL
Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web
Approche dirigée par les modèles pour le développement de systèmes multi-agents
Approche centrée architecture pour la conception logicielle des instruments intelligents
β-space : raffinement de descriptions architecturales en machines abstraites de la méthode formelle B
Refiner : environnement logiciel pour le raffinement d'architectures logicielles fondé sur une logique de réécriture
Asl : un langage et des outils pour les styles architecturaux : contribution à la description d'architectures dynamiques
Approche et environnement fondés sur les styles architecturaux pour le développement de logiciels propres à des domaines spécifiques : application au domaine de la supervision du redémarrage d'accélérateurs de particules
Modèles et environnement pour configurer et déployer des systèmes logiciels
π-Space : langage et outils pour la description d'architectures évolutives à composants dynamiques : formalisation d'architectures logicielles et industrielles
Conception et construction de fédérations de progiciels
Omega : un formalisme et un système pour le monitoring des processus dans le cadre des environnements de génie logiciel
Peace+ : un formalisme et un système pour la coopération dans les environnements de génie logiciel centré processus : une approche intentionnelle des interactions dans un univers multi-agents