Oquendo, Flavio, 1958-
Oquendo, Flavio, 1958-...., auteur en informatique
Oquendo, Flavio
Flavio Oquendo obor působnosti: výpočetní technika
VIAF ID: 85389424 ( Personal )
Permalink: http://viaf.org/viaf/85389424
Preferred Forms
- 100 0 _ ‡a Flavio Oquendo ‡c obor působnosti: výpočetní technika
-
-
- 100 1 _ ‡a Oquendo, Flavio ‡d 1958-
- 100 1 _ ‡a Oquendo, Flavio ‡d 1958-
- 100 1 _ ‡a Oquendo, Flavio, ‡d 1958-
-
-
-
-
- 100 1 _ ‡a Oquendo, Flavio, ‡d 1958-...., ‡c auteur en informatique
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
- 510 2 _ ‡a PRES Université Européenne de Bretagne ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Vannes ‡g Arrondissement ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
1re Conférence francophone sur les architectures logicielles : CAL 2006, [Nantes] | |
Une approche centrée architecture pour la synthèse de modèles de processus logiciels exécutables : application à ProcessWeb/PML | |
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 | |
Architecture-centric approach for intelligent instruments software design. | |
Architecture de référence pour les systèmes d'e-santé à domicile dans la perspective de systèmes-de- systèmes | |
Architectures à agents mobiles : étude sur la formalisation en ArchWare ADL et l'implémentation en Java Aglets | |
Asl : a language and tolls for the architectural styles. Contribution to the description of dynamic architectures. | |
Conception et construction de fédérations de progiciels | |
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 | |
Concretising sofware architectures using a formal language : towards formal architecture development languages based on π-ADL. | |
Contribution à l'élaboration d'un processus d'extraction des architectures logicielles : Méta-modèle, méthode et outil | |
Contribution to the formal specification and verification of multi-agent robotic system. | |
Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web | |
Dynamic architecture for multimodal applications to reinforce robot-environment interaction | |
ECSA 2007 | |
EWSA 2005 | |
EWSPT 2003 (2003 : Helsinki, Finland). Software process technology, c2003: | |
A Formally Founded Framework for Dynamic Software Architectures. | |
From monolithic architectural style to microservice one : structure-based and task-based approaches | |
Impact analysis of the evolution of distributed multi-language and multi-database applications. | |
Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA | |
Un métamodèle de calcul en temps continu pour les systèmes d'aide à la décision appliqués à la planification financière | |
Migration des applications orientées-objet vers celles à base de composants | |
A model-driven-engineering approach for multi-agent systems development. | |
Modèles et environnement pour configurer et déployer des systèmes logiciels | |
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 | |
Pi-SPACE . | |
Préserver les décisions architecturales à travers des patrons architecturaux. | |
A reference architecture for healthcare supportive home systems from a systems-of-systems perspective. | |
REFINER : environnement logiciel pour le raffinement d'architectures logicielles fondé sur une logique de réécriture | |
REFINER : Software environment for software architecture refinement using a rewriting logic. | |
Requêtes temporelles sur un système de gestion de base de données orientée objet | |
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings | |
Software Architecture in Action : Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard | |
Software architecture : third European workshop, EWSA 2006, Nantes, France, September 4-5, 2006, revised selected papers | |
Spi-space : extension d'un langage de description architecturale pour la prise en compte des styles architecturaux : application à J2EE | |
Style-based approach and environment for the development of domain-specific softwares. Application domain : particle accelerators restart monitoring softwares. | |
Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs. | |
Supporting architectural design of acknowledged Software-intensive Systems- of-Systems. | |
Supporting Reuse by Reverse Engineering Software Architecture and Component from Object-Oriented Product Variants and APIs | |
Synthèse d'architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes | |
Synthesis of software architectures for systems-of-systems : an automated method by constraint solving. | |
β-SPACE : refinement of architectural descriptions into abstract machines of the B formal method. | |
π-Space : langage et outils pour la description d'architectures évolutives à composants dynamiques : formalisation d'architectures logicielles et industrielles |