WorldCat Identities

Blay-Fornarino, Mireille

Overview
Works: 7 works in 9 publications in 2 languages and 14 library holdings
Roles: Editor, Opponent, Thesis advisor, Other
Publication Timeline
.
Most widely held works by Mireille Blay-Fornarino
Ingénierie dirigée par les modèles( Book )

2 editions published in 2010 in French and held by 6 WorldCat member libraries worldwide

Computer-Assisted Scientific Workflow Design by Nadia Cerezo( )

1 edition published in 2013 in English and held by 2 WorldCat member libraries worldwide

Behavioral compositions in service-oriented architecture by Sébastien Mosser( Book )

2 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide

Les Architectures Orientées Services permettent la définition d'applications complexes par assemblage de services existants, par exemple sous la forme d'«orchestrations» implémentant des processus métiers. La complexité de ces assemblages impose l'utilisation de techniques telle que la Séparation des Préoccupations pour en maitriser la difficulté. Dans cette thèse, nous présentons ADORE, un métamodèle d'activité permettant l'évolution des orchestrations. Il permet d'exprimer dans le même formalisme des "orchestrations" et des "fragments d'orchestrations . Nous proposons alors différents algorithmes de compositions permettant l'intégration automatique de ces fragments dans des processus existants. Ces algorithmes définissent des propriétés de compositions (e.g., préservation des relations d'ordre), et assurent leur respect dans les processus composés. Ils assurent que les résultats de composition obtenus ne dépendent pas de l'ordre d'application. ADORE permet la définition de règles de détection d'interférences, sous la forme de prédicats. Le logiciel développé propose ainsi un support, en identifiant les interférences apparaissant lors des compositions. Nous illustrons cette contribution au travers de 2 études de cas: (i) JSEDUITE, une application de diffusion d'information utilisée en production et (ii) CCCMS, une application de gestion de crise implémentée dans le cadre d'une réponse à une étude de cas commune. Pour conclure, nous mettons en perspectives de récentes collaborations visant l'intégration d'ADORE au sein d'un processus de développement logiciel complet, allant des l'ingénierie des besoins à la visualisation efficace des processus composés
Composition d'applications multi-modèles dirigée par la composition des interfaces graphiques by Christian Brel( )

1 edition published in 2013 in French and held by 1 WorldCat member library worldwide

One has to note that composing existing applications by completely or partly reusing them is a complex task. Nevertheless with the daily appearance of new available applications on any media, the application editors need to perform such compositions more and more to answer the increasing users' requests. Modeling an application for composition or just determining by which point of view on applications make this composition is not easy. Works exist, but generally deal or ensue from only a single point of view : the "Functional Core" point of view in Software Engineering field, the "Task" one or "User Interface" one in Human Computer Interaction (HCI) field. This thesis defines a new approach based on a complete application model (functionnal, task and user interface). It enables an user to navigate between those different models in order to select consistent sets. These last ones are composable by substitution. An implementation of this approach was used to perform user tests whose results consolidate benefits of a complete model
Cloning beyond source code : a study of the practices in API documentation and infrastructure as code. by Mohamed Ameziane Oumaziz( )

1 edition published in 2020 in English and held by 1 WorldCat member library worldwide

When developing a software, maintenance and evolution represents an important part of the development's life-cycle, making up to 80% of the overall cost and effort.During the maintenance effort, it happens that developers have to resort to copying and pasting source code fragments in order to reuse them.Such practice, seemingly harmless is more frequent than we expect.Commonly referred to as ``clones'' in the literature, these source code duplicates are a well-known and studied topic in software engineering.In this thesis, we aim at shedding some light on copy-paste practices on software artifacts. In particular, we chose to focus our contributions on two specific types of software artifacts: API documentation and build files (i.e. Dockerfiles).For both contributions, we follow a common empirical study methodology. First, We show that API documentations and software build files (i.e. Dockerfiles) actually face duplicates issues and that such duplicates are frequent.Secondly, we identify the reasons behind the existence of such duplicates.Thirdly, We perform a survey on experimented developers and find that they're aware of such duplicates, frequently face them. But still have a mixed opinion regarding them.Finally, We show that both software artifacts lack reuse mechanisms to cope with duplicates, and that some developers even resort to ad-hoc tools to manage them
Justification Factory : de l'élicitation d'exigences de justification jusqu'à leur production en continu by Clément Duffau( )

1 edition published in 2018 in French and held by 1 WorldCat member library worldwide

Dans de nombreux domaines où il existe des risques pour l'homme, comme la médecine, le nucléaire ou l'avionique, il est nécessaire de passer par une phase de certification visant à garantir le bon fonctionnement d'un système ou d'un produit. La certification se fait en fonction de documents normatifs qui expriment les exigences de justifications auxquelles le produit et le processus de développement doivent se conformer. Un audit de certification consiste alors à produire une documentation attestant la conformité avec ce cadre réglementaire.Pour faire face à ce besoin de justifications visant à assurer la conformité avec les normes en vigueur et la complétude des justifications apportées, il faut dès lors être capable de cibler les exigences de justification à revendiquer pour un projet et produire les justifications durant le développement du projet. Dans ce contexte, éliciter les exigences de justifications à partir des normes et produire les justifications nécessaires et suffisantes sont des enjeux pour assurer le respect des normes et éviter la sur-justification.Dans ces travaux nous cherchons à structurer les exigences de justification pour ensuite aider à la production des justifications associées tout en restant attentif à la confiance que l'on peut placer en elles. Pour relever ces défis, nous avons défini une sémantique formelle pour une modélisation existante des justifications : les Diagrammes de Justification. A partir de cette sémantique, nous avons pu définir un ensemble d'opérations permettant de contrôler le cycle de vie des justifications pour assurer la conformité des justifications au regard des exigences de justification. Par ce formalisme, nous avons également pu guider, voire automatiser dans certains cas, la production des justifications et la vérification de la conformité.Ces contributions ont été appliquées dans le contexte des technologies médicales pour l'entreprise AXONIC, porteuse de ces travaux. Ceci a permis de i) éliciter les exigences de justification des normes médicales et pratiques internes de l'entreprise, ii) produire automatiquement les justifications associées à la norme IEC 62304 pour le logiciel en médical, iii) automatiser la vérification et validation des justifications ainsi que la production de documents utilisables lors d'audit
Architecture logicielle et matérielle d'un système de détection des émotions utilisant les signaux physiologiques. Application à la mnémothérapie musicale by Chaka Koné( )

1 edition published in 2018 in French and held by 1 WorldCat member library worldwide

Ce travail de thèse s'inscrit dans le domaine de l'informatique affective et plus précisément de l'intelligence artificielle et de l'exploration d'architecture. L'objectif de ce travail est de concevoir un système complet de détection des émotions en utilisant des signaux physiologiques. Ce travail se place donc à l'intersection de l'informatique pour la définition d'algorithme de détection des émotions et de l'électronique pour l'élaboration d'une méthodologie d'exploration d'architecture et pour la conception de nœuds de capteurs. Dans un premier temps, des algorithmes de détection multimodale et instantanée des émotions ont été définis. Deux algorithmes de classification KNN puis SVM, ont été implémentés et ont permis d'obtenir un taux de reconnaissance des émotions supérieurs à 80%. Afin de concevoir un tel système alimenté sur pile, un modèle analytique d'estimation de la consommation à haut niveau d'abstraction a été proposé et validé sur une plateforme réelle. Afin de tenir compte des contraintes utilisateurs, un outil de conception et de simulation d'architecture d'objets connectés pour la santé a été développé, permettant ainsi d'évaluer les performances des systèmes avant leur conception. Une architecture logicielle/matérielle pour la collecte et le traitement des données satisfaisant les contraintes applicatives et utilisateurs a ainsi été proposée. Doté de cette architecture, des expérimentations ont été menées pour la Mnémothérapie musicale. EMOTICA est un système complet de détection des émotions utilisant des signaux physiologiques satisfaisant les contraintes d'architecture, d'application et de l'utilisateur
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.92 (from 0.89 for Ingénieri ... to 0.97 for Computer-A ...)

Alternative Names
Fornarino, Mireille Blay-

Languages